public class FSMTransition
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
IntDomain |
domain
It specifies the domain associated with the transition.
|
FSMState |
successor
It specifies the successor state we arrive to after taking the transition.
|
static java.lang.String[] |
xmlAttributes
It specifies the arguments required to be saved by an XML format as well as
the constructor being called to recreate an object from an XML format.
|
Constructor and Description |
---|
FSMTransition(IntDomain domain,
FSMState state)
It constructs a finite machine state transition.
|
public IntDomain domain
public FSMState successor
public static java.lang.String[] xmlAttributes
public FSMTransition deepClone(java.util.HashSet<FSMState> states)
states
- a list of states which have been already copied.public int hashCode()
hashCode
in class java.lang.Object
public boolean equals(java.lang.Object o)
equals
in class java.lang.Object
public java.lang.String toString()
toString
in class java.lang.Object