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 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 Description java.util.Set<FSMState>
FSM. allStates
It specifies all states including the initial one and final ones.java.util.Set<FSMState>
FSM. finalStates
It specifies final states of DFA.Methods in org.jacop.util.fsm that return FSMState Modifier and Type Method Description FSMState
FSMState. deepClone(java.util.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 Description FSMState
FSMState. deepClone(java.util.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(java.util.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 Description FSM(FSMState initState, java.util.Set<FSMState> finalStates, java.util.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 Description FSM(FSMState initState, java.util.Set<FSMState> finalStates, java.util.Set<FSMState> allStates)
It creates a Finite State Machine.
-