Uses of Class
org.jacop.util.fsm.FSMState
Packages that use FSMState
-
Uses of FSMState in org.jacop.util.fsm
Fields in org.jacop.util.fsm declared as FSMStateModifier and TypeFieldDescriptionFSM.initState
It specifies the intial state of DFA.FSMTransition.successor
It specifies the successor state we arrive to after taking the transition.Fields in org.jacop.util.fsm with type parameters of type FSMStateModifier and TypeFieldDescriptionFSM.allStates
It specifies all states including the initial one and final ones.FSM.finalStates
It specifies final states of DFA.Methods in org.jacop.util.fsm that return FSMStateModifier and TypeMethodDescriptionPerforming deep clone unless this state has already a state with the same id in the array of states.FSM.getState
(int id) It gets state of a given id.Method parameters in org.jacop.util.fsm with type arguments of type FSMStateModifier and TypeMethodDescriptionPerforming deep clone unless this state has already a state with the same id in the array of states.It performs a clone of a transition with copying the attributes too.Constructors in org.jacop.util.fsm with parameters of type FSMStateModifierConstructorDescriptionIt creates a Finite State Machine.It creates a state with an id as the id specified by a supplied state.FSMTransition
(IntDomain domain, FSMState state) It constructs a finite machine state transition.Constructor parameters in org.jacop.util.fsm with type arguments of type FSMState