Uses of Class
dk.brics.automaton.State

Uses of State in dk.brics.automaton

Methods in dk.brics.automaton that return State

Modifier and Type	Method	Description
static State	StringUnionOperations.build(CharSequence[] input)	Build a minimal, deterministic automaton from a sorted list of strings.
State	Transition.getDest()	Returns destination of this transition.
State	StatePair.getFirstState()	Returns first component of this pair.
State	Automaton.getInitialState()	Gets initial state.
State	StatePair.getSecondState()	Returns second component of this pair.
State	State.step(char c)	Performs lookup in transitions, assuming determinism.

Methods in dk.brics.automaton that return types with arguments of type State

Modifier and Type	Method	Description
Set<State>	Automaton.getAcceptStates()	Returns the set of reachable accept states.
Set<State>	Automaton.getLiveStates()	Returns the set of live states.
Set<State>	Automaton.getStates()	Returns the set of states that are reachable from the initial state.
static Set<State>	SpecialOperations.reverse(Automaton a)	Reverses the language of the given (non-singleton) automaton while returning the set of new initial states.

Methods in dk.brics.automaton with parameters of type State

Modifier and Type	Method	Description
int	State.compareTo(State s)	Compares this object with the specified object for order.
void	Automaton.setInitialState(State s)	Sets initial state.

Method parameters in dk.brics.automaton with type arguments of type State

Modifier and Type	Method	Description
void	State.step(char c, Collection<State> dest)	Performs lookup in transitions, allowing nondeterminism.

Constructors in dk.brics.automaton with parameters of type State

Constructor	Description
StatePair(State s1, State s2)	Constructs a new state pair.
Transition(char min, char max, State to)	Constructs a new transition.
Transition(char c, State to)	Constructs a new singleton interval transition.