Uses of Class
gov.nasa.jpf.util.automaton.Transition

Packages that use Transition

Package	Description
gov.nasa.jpf.util.automaton

Uses of Transition in gov.nasa.jpf.util.automaton

Fields in gov.nasa.jpf.util.automaton declared as Transition

Modifier and Type	Field and Description
protected Transition[]	State.transitions

Methods in gov.nasa.jpf.util.automaton that return Transition

Modifier and Type	Method and Description
Transition	State.getTransition(int idx)

Methods in gov.nasa.jpf.util.automaton with parameters of type Transition

Modifier and Type	Method and Description
void	State.addTransition(Transition newTransition)
void	State.addTransitions(Transition... newTransitions)