rwth.i2.ltl2ba4j.model.impl
Class Transition
java.lang.Object
rwth.i2.ltl2ba4j.model.impl.Transition
- All Implemented Interfaces:
- ITransition
public class Transition
- extends Object
- implements ITransition
- Author:
- Eric Bodden
Transition
labels
protected Set<IGraphProposition> labels
sourceState
protected IState sourceState
targetState
protected IState targetState
Transition
public Transition(Set<IGraphProposition> labels,
IState sourceState,
IState targetState)
- Parameters:
labels
- labelssourceState
- source statetargetState
- target state
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.