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

rwth.i2.ltl2ba4j.model.impl
Class Transition

java.lang.Object
  extended by rwth.i2.ltl2ba4j.model.impl.Transition
All Implemented Interfaces:
ITransition

public class Transition
extends Object
implements ITransition

Author:
Eric Bodden Transition

Field Summary
protected  Set<IGraphProposition> labels
           
protected  IState sourceState
           
protected  IState targetState
           
 
Constructor Summary
Transition(Set<IGraphProposition> labels, IState sourceState, IState targetState)
           
 
Method Summary
 boolean equals(Object oth)
          /** 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.
 String toString()
          
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
 

Field Detail

labels

protected Set<IGraphProposition> labels

sourceState

protected IState sourceState

targetState

protected IState targetState
Constructor Detail

Transition

public Transition(Set<IGraphProposition> labels,
                  IState sourceState,
                  IState targetState)
Parameters:
labels - labels
sourceState - source state
targetState - target state
Method Detail

getLabels

public Set<IGraphProposition> getLabels()

Specified by:
getLabels in interface ITransition
Returns:
the labels attached to this transition

getSourceState

public IState getSourceState()

Specified by:
getSourceState in interface ITransition
Returns:
the source state of this transition

getTargetState

public IState getTargetState()

Specified by:
getTargetState in interface ITransition
Returns:
the target state of this transition

hashCode

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

Specified by:
hashCode in interface ITransition
Overrides:
hashCode in class Object
See Also:
Object.hashCode()

equals

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

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

toString

public String toString()

Overrides:
toString in class Object


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