Package org.jacop.util.fsm
Class FSMTransition
- java.lang.Object
-
- org.jacop.util.fsm.FSMTransition
-
public class FSMTransition extends java.lang.Object
- Version:
- 4.8
-
-
Constructor Summary
Constructors Constructor Description FSMTransition(IntDomain domain, FSMState state)
It constructs a finite machine state transition.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description FSMTransition
deepClone(java.util.Set<FSMState> states)
It performs a clone of a transition with copying the attributes too.boolean
equals(java.lang.Object o)
int
hashCode()
java.lang.String
toString()
-
-
-
Method Detail
-
deepClone
public FSMTransition deepClone(java.util.Set<FSMState> states)
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()
- Overrides:
hashCode
in classjava.lang.Object
-
equals
public boolean equals(java.lang.Object o)
- Overrides:
equals
in classjava.lang.Object
-
toString
public java.lang.String toString()
- Overrides:
toString
in classjava.lang.Object
-
-