|
|||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||
| Uses of Transition in dk.brics.automaton |
|---|
| Methods in dk.brics.automaton that return Transition | |
|---|---|
Transition |
Transition.clone()
Clones this transition. |
| Methods in dk.brics.automaton that return types with arguments of type Transition | |
|---|---|
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. |
| Methods in dk.brics.automaton with parameters of type Transition | |
|---|---|
void |
State.addTransition(Transition t)
Adds an outgoing transition. |
|
|||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||