net.sf.tweety.logics.el.semantics

Class AccessibilityRelation

java.lang.Object

net.sf.tweety.logics.el.semantics.AccessibilityRelation

public class AccessibilityRelation
extends java.lang.Object

This class models an accessibility relation for Kripke models.

Author:

Matthias Thimm

Field Summary

Fields

Modifier and Type	Field and Description
private java.util.Set<Pair<Interpretation,Interpretation>>	tuples The actual relation

Constructor Summary

Constructors

Constructor and Description
AccessibilityRelation()

Method Summary

Modifier and Type	Method and Description
java.util.Set<Interpretation>	getNodes() TODO
java.util.Set<Interpretation>	getSuccessors(Interpretation i) TODO

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

tuples

private java.util.Set<Pair<Interpretation,Interpretation>> tuples

The actual relation

Constructor Detail

AccessibilityRelation

public AccessibilityRelation()

Method Detail

getNodes

public java.util.Set<Interpretation> getNodes()

TODO

getSuccessors

public java.util.Set<Interpretation> getSuccessors(Interpretation i)

TODO

Parameters:

i -