Uses of Class
net.sf.tweety.logics.ml.semantics.AccessibilityRelation
-
Packages that use AccessibilityRelation Package Description net.sf.tweety.logics.ml.semantics -
-
Uses of AccessibilityRelation in net.sf.tweety.logics.ml.semantics
Fields in net.sf.tweety.logics.ml.semantics declared as AccessibilityRelation Modifier and Type Field Description private AccessibilityRelation
KripkeModel. accRelation
The accessibility relation.Constructors in net.sf.tweety.logics.ml.semantics with parameters of type AccessibilityRelation Constructor Description KripkeModel(java.util.Set<? extends Interpretation<FolBeliefSet,FolFormula>> possibleWorlds, AccessibilityRelation accRelation)
Creates a new Kripke model.
-