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() |
Modifier and Type | Method and Description |
---|---|
java.util.Set<Interpretation> |
getNodes()
TODO
|
java.util.Set<Interpretation> |
getSuccessors(Interpretation i)
TODO
|
private java.util.Set<Pair<Interpretation,Interpretation>> tuples
public java.util.Set<Interpretation> getNodes()
public java.util.Set<Interpretation> getSuccessors(Interpretation i)
i
-