Uses of Class
org.jacop.util.fsm.FSMTransition
Packages that use FSMTransition
-
Uses of FSMTransition in org.jacop.util.fsm
Fields in org.jacop.util.fsm with type parameters of type FSMTransitionModifier and TypeFieldDescriptionFSMState.transitions
It specifies the list of transitions outgoing from this state.Methods in org.jacop.util.fsm that return FSMTransitionModifier and TypeMethodDescriptionIt performs a clone of a transition with copying the attributes too.Methods in org.jacop.util.fsm with parameters of type FSMTransitionModifier and TypeMethodDescriptionvoid
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 FSMTransitionModifierConstructorDescriptionFSMState
(HashSet<FSMTransition> transitions, int id) It constructs a FSM state.