Uses of Class
org.jacop.util.fsm.FSMState

Packages that use FSMState

Package	Description
org.jacop.util.fsm

Uses of FSMState in org.jacop.util.fsm

Fields in org.jacop.util.fsm declared as FSMState

Modifier and Type	Field and Description
FSMState	FSM.initState It specifies the intial state of DFA.
FSMState	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 FSMState

Modifier and Type	Field and Description
Set<FSMState>	FSM.allStates It specifies all states including the initial one and final ones.
Set<FSMState>	FSM.finalStates It specifies final states of DFA.

Methods in org.jacop.util.fsm that return FSMState

Modifier and Type	Method and Description
FSMState	FSMState.deepClone(Set<FSMState> states) Performing deep clone unless this state has already a state with the same id in the array of states.
FSMState	FSM.getState(int id) It gets state of a given id.

Method parameters in org.jacop.util.fsm with type arguments of type FSMState

Modifier and Type	Method and Description
FSMState	FSMState.deepClone(Set<FSMState> states) Performing deep clone unless this state has already a state with the same id in the array of states.
FSMTransition	FSMTransition.deepClone(Set<FSMState> states) It performs a clone of a transition with copying the attributes too.

Constructors in org.jacop.util.fsm with parameters of type FSMState

Constructor and Description
FSM(FSMState initState, Set<FSMState> finalStates, Set<FSMState> allStates) It creates a Finite State Machine.
FSMState(FSMState a) 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

Constructor and Description
FSM(FSMState initState, Set<FSMState> finalStates, Set<FSMState> allStates) It creates a Finite State Machine.
FSM(FSMState initState, Set<FSMState> finalStates, Set<FSMState> allStates) It creates a Finite State Machine.