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