| 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.
|