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.