Package | Description |
---|---|
dk.brics.automaton |
Modifier and Type | Method and Description |
---|---|
Transition |
Transition.clone()
Clones this transition.
|
Modifier and Type | Method and Description |
---|---|
java.util.List<Transition> |
State.getSortedTransitions(boolean to_first)
Returns sorted list of outgoing transitions.
|
java.util.Set<Transition> |
State.getTransitions()
Returns the set of outgoing transitions.
|
Modifier and Type | Method and Description |
---|---|
void |
State.addTransition(Transition t)
Adds an outgoing transition.
|