Package org.jacop.util.fsm
Class FSMTransition
java.lang.Object
org.jacop.util.fsm.FSMTransition
- Version:
- 4.8
-
Field Summary
Fields -
Constructor Summary
ConstructorsConstructorDescriptionFSMTransition
(IntDomain domain, FSMState state) It constructs a finite machine state transition. -
Method Summary
-
Field Details
-
domain
It specifies the domain associated with the transition. -
successor
It specifies the successor state we arrive to after taking the transition.
-
-
Constructor Details
-
FSMTransition
It constructs a finite machine state transition.- Parameters:
domain
- the domain which triggers the transition.state
- the successor state reached by a transition.
-
-
Method Details
-
deepClone
It performs a clone of a transition with copying the attributes too.- Parameters:
states
- a list of states which have been already copied.- Returns:
- the transition clone.
-
hashCode
public int hashCode() -
equals
-
toString
-