S
- the type of formulasB
- the type of belief basesT
- the type of interpretationspublic interface ModelProvider<S extends Formula,B extends BeliefBase,T extends Interpretation<B,S>>
Modifier and Type | Method and Description |
---|---|
T |
getModel(B bbase)
Returns a single (dedicated) model of the given belief base.
|
java.util.Collection<T> |
getModels(B bbase)
Returns a characterizing model of the given belief base
|