Package | Description |
---|---|
net.sf.tweety.logics.ml.semantics |
Modifier and Type | Field and Description |
---|---|
private AccessibilityRelation |
KripkeModel.accRelation
The accessibility relation.
|
Constructor and Description |
---|
KripkeModel(java.util.Set<? extends Interpretation<FolBeliefSet,FolFormula>> possibleWorlds,
AccessibilityRelation accRelation)
Creates a new Kripke model.
|