Uses of Class
net.sf.tweety.logics.el.semantics.AccessibilityRelation

Packages that use AccessibilityRelation

Package	Description
net.sf.tweety.logics.el.semantics

Uses of AccessibilityRelation in net.sf.tweety.logics.el.semantics

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

Constructor and Description
KripkeModel(Set<? extends net.sf.tweety.commons.Interpretation> possibleWorlds, AccessibilityRelation accRelation) Creates a new Kripke model.