net.sf.tweety.commons

Interface ModelProvider<S extends Formula,B extends BeliefBase,T extends Interpretation<B,S>>

Type Parameters:

S - the type of formulas

B - the type of belief bases

T - the type of interpretations

public interface ModelProvider<S extends Formula,B extends BeliefBase,T extends Interpretation<B,S>>

Instances of this interface model reasoner that determine the (selected) models for a given set of formulas.

Author:

Matthias Thimm

Method Summary

Modifier and Type	Method and Description
T	getModel(B bbase) Returns a single (dedicated) model of the given belief base.
Collection<T>	getModels(B bbase) Returns a characterizing model of the given belief base

Method Detail

getModels

Collection<T> getModels(B bbase)

Returns a characterizing model of the given belief base

Parameters:

bbase - some belief base

Returns:

the (selected) models of the belief base

getModel

T getModel(B bbase)

Returns a single (dedicated) model of the given belief base. If the implemented method allows for more than one dedicated model, the selection may be non-deterministic.

Parameters:

formulas - some belief base

Returns:

a selected model of the belief base.