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

Packages that use State

Package	Description
gov.nasa.jpf.util.automaton

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

Classes in gov.nasa.jpf.util.automaton with type parameters of type State

Modifier and Type	Class and Description
class	Automaton<S extends State> generic class for modeling automatons Since this is used in so many extensions from both model and native code, it seems appropriate to add a basis implementation to util.

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

Modifier and Type	Field and Description
protected State	Transition.fromState
protected State[]	Automaton.states
protected State	Transition.toState

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

Modifier and Type	Method and Description
void	Automaton.addState(State newState)
void	Automaton.addStates(State... newStates)
protected void	Transition.setFromState(State fromState)

Constructors in gov.nasa.jpf.util.automaton with parameters of type State

Constructor and Description
Transition(String label, State toState)