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(java.util.Set<? extends Interpretation<FolBeliefSet,FolFormula>> possibleWorlds, AccessibilityRelation accRelation)	Creates a new Kripke model.