Uses of Class
org.tweetyproject.logics.ml.semantics.AccessibilityRelation
-
Packages that use AccessibilityRelation Package Description org.tweetyproject.logics.ml.semantics -
-
Uses of AccessibilityRelation in org.tweetyproject.logics.ml.semantics
Constructors in org.tweetyproject.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.
-