AccessibilityRelation

java.lang.Object
- net.sf.tweety.logics.ml.semantics.AccessibilityRelation

```
public class AccessibilityRelation
extends java.lang.Object
```
This class models an accessibility relation for Kripke models.

Author:

Matthias Thimm, Anna Gessler

Constructor Summary

Constructors
Constructor	Description
`AccessibilityRelation(java.util.Set<Pair<Interpretation<FolBeliefSet,FolFormula>,Interpretation<FolBeliefSet,FolFormula>>> tuples)`	Constructs a new accessibility relation.

Method Summary

Modifier and Type	Method	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()`

Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

- Constructor Detail
  - AccessibilityRelation
```
public AccessibilityRelation(java.util.Set<Pair<Interpretation<FolBeliefSet,FolFormula>,Interpretation<FolBeliefSet,FolFormula>>> tuples)
```
    Constructs a new accessibility relation.
    
    Parameters:
    
    tuples - the accessibility relation
- Method Detail
  - getNodes
```
public java.util.Set<Interpretation<FolBeliefSet,FolFormula>> getNodes()
```
    Returns all interpretations of the accessibility relation.
    
    Returns:
    
    interpretations set of all interpretations
  - getSuccessors
```
public java.util.Set<Interpretation<FolBeliefSet,FolFormula>> getSuccessors(Interpretation<FolBeliefSet,FolFormula> i)
```
    Returns all interpretations that are accessible to a given interpretation i.
    
    Parameters:
    
    i - an interpretation (possible world)
    
    Returns:
    
    successors set of successors of i
  - toString
```
public java.lang.String toString()
```
    Overrides:
    
    toString in class java.lang.Object