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