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