| Package | Description |
|---|---|
| net.sf.tweety.logics.el.semantics |
| Constructor and Description |
|---|
KripkeModel(Set<? extends net.sf.tweety.commons.Interpretation> possibleWorlds,
AccessibilityRelation accRelation)
Creates a new Kripke model.
|
Copyright © 2018. All rights reserved.