[I2 logo] [RWTH logo] MOVES: Software Modeling and Verification
(Informatik 2)
Computer Science / RWTH / I2 / Research / RV / Ltl2ba4j / Docs / Api / Rwth / I2 / Ltl2ba4j / Model / ITransition
Printer-friendly
ITransition (LTL2BA4J)

rwth.i2.ltl2ba4j.model
Interface ITransition

All Known Implementing Classes:
Transition

public interface ITransition

Author:
Eric Bodden IState

Method Summary
 boolean equals(Object obj)
          /** Clients should implement this method, since the implementation uses HashSets, which require a proper notion of equality.
 Set<IGraphProposition> getLabels()
           
 IState getSourceState()
           
 IState getTargetState()
           
 int hashCode()
          Clients should implement this method, since the implementation uses HashSets, which require a proper hash code.
 

Method Detail

getLabels

Set<IGraphProposition> getLabels()
Returns:
the labels attached to this transition

getSourceState

IState getSourceState()
Returns:
the source state of this transition

getTargetState

IState getTargetState()
Returns:
the target state of this transition

equals

boolean equals(Object obj)
/** Clients should implement this method, since the implementation uses HashSets, which require a proper notion of equality.

Overrides:
equals in class Object
Returns:
True iff label and associated states are equal
See Also:
Object.equals(java.lang.Object)

hashCode

int hashCode()
Clients should implement this method, since the implementation uses HashSets, which require a proper hash code.

Overrides:
hashCode in class Object
See Also:
Object.hashCode()


Eric Bodden, RWTH Aachen University, 2005.
Valid HTML 4.01 Strict! Valid CSS!