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
Constructors in net.sf.tweety.logics.ml.semantics with parameters of type AccessibilityRelation Constructor Description KripkeModel(Set<? extends net.sf.tweety.commons.Interpretation<net.sf.tweety.logics.fol.syntax.FolBeliefSet,net.sf.tweety.logics.fol.syntax.FolFormula>> possibleWorlds, AccessibilityRelation accRelation)Creates a new Kripke model.
-