public class AccessibilityRelation
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
private java.util.Set<Pair<Interpretation,Interpretation>> |
tuples
The actual relation
|
Constructor and Description |
---|
AccessibilityRelation(java.util.Set<Pair<Interpretation,Interpretation>> tuples)
Constructs a new accessibility relation.
|
Modifier and Type | Method and Description |
---|---|
java.util.Set<Interpretation> |
getNodes()
Returns all interpretations of the accessibility relation.
|
java.util.Set<Interpretation> |
getSuccessors(Interpretation i)
Returns all interpretations that are accessible to a given interpretation i.
|
private java.util.Set<Pair<Interpretation,Interpretation>> tuples
public AccessibilityRelation(java.util.Set<Pair<Interpretation,Interpretation>> tuples)
tuples
- the accessibility relationpublic java.util.Set<Interpretation> getNodes()
public java.util.Set<Interpretation> getSuccessors(Interpretation i)
i
- an interpretation (possible world)