Package | Description |
---|---|
JaCoP.util.fsm |
Modifier and Type | Field and Description |
---|---|
java.util.HashSet<FSMTransition> |
FSMState.transitions
It specifies the list of transitions outgoing from this state.
|
Modifier and Type | Method and Description |
---|---|
FSMTransition |
FSMTransition.deepClone(java.util.HashSet<FSMState> states)
It performs a clone of a transition with copying the attributes too.
|
Modifier and Type | Method and Description |
---|---|
void |
FSMState.addTransition(FSMTransition transition)
It adds transition to the list of transitions from
this state.
|
Constructor and Description |
---|
FSMState(java.util.HashSet<FSMTransition> transitions,
int id)
It constructs a FSM state.
|