Package org.jacop.util.fsm
Class FSMState
java.lang.Object
org.jacop.util.fsm.FSMState
- Version:
- 4.10
-
Field Summary
FieldsModifier and TypeFieldDescriptionint
Id of the state.It specifies the list of transitions outgoing from this state. -
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionvoid
addTransition
(FSMTransition transition) It adds transition to the list of transitions from this state.Performing deep clone unless this state has already a state with the same id in the array of states.boolean
int
hashCode()
toString()
-
Field Details
-
id
public int idId of the state. There can be multiple copies of the same state with the same id. -
transitions
It specifies the list of transitions outgoing from this state.
-
-
Constructor Details
-
FSMState
It constructs a FSM state.- Parameters:
transitions
- it specifies transitionid
- state id
-
FSMState
public FSMState()It creates a state with id equl to the number of instances FSMState created. -
FSMState
It creates a state with an id as the id specified by a supplied state.- Parameters:
a
- state from which id is taken while creating this state.
-
-
Method Details
-
deepClone
Performing deep clone unless this state has already a state with the same id in the array of states.- Parameters:
states
- it contains the states which do not need to be created, only reused.- Returns:
- a deep clone of the current state.
-
addTransition
It adds transition to the list of transitions from this state.- Parameters:
transition
- the transition being added.
-
equals
-
hashCode
public int hashCode() -
toString
-