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 and Description
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 and Description
FSMTransition	FSMTransition.deepClone(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 and 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 and Description
FSMState(HashSet<FSMTransition> transitions, int id) It constructs a FSM state.