Uses of Class
org.jacop.util.fsm.FSMTransition
-
Packages that use FSMTransition Package Description org.jacop.util.fsm -
-
Uses of FSMTransition in org.jacop.util.fsm
Fields in org.jacop.util.fsm with type parameters of type FSMTransition Modifier and Type Field Description java.util.Set<FSMTransition>
FSMState. transitions
It specifies the list of transitions outgoing from this state.Methods in org.jacop.util.fsm that return FSMTransition Modifier and Type Method Description FSMTransition
FSMTransition. deepClone(java.util.Set<FSMState> states)
It performs a clone of a transition with copying the attributes too.Methods in org.jacop.util.fsm with parameters of type FSMTransition Modifier and Type Method Description void
FSMState. addTransition(FSMTransition transition)
It adds transition to the list of transitions from this state.Constructor parameters in org.jacop.util.fsm with type arguments of type FSMTransition Constructor Description FSMState(java.util.HashSet<FSMTransition> transitions, int id)
It constructs a FSM state.
-