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 and Description
private AccessibilityRelation	KripkeModel.accRelation The accessibility relation.

Constructors in net.sf.tweety.logics.ml.semantics with parameters of type AccessibilityRelation

Constructor and Description
KripkeModel(java.util.Set<? extends Interpretation<FolBeliefSet,FolFormula>> possibleWorlds, AccessibilityRelation accRelation) Creates a new Kripke model.