Uses of Class
dk.brics.automaton.State

Uses of State in dk.brics.automaton
 

Methods in dk.brics.automaton that return State
static State StringUnionOperations.build(java.lang.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
 java.util.Set<State> Automaton.getAcceptStates()
          Returns the set of reachable accept states.
 java.util.Set<State> Automaton.getLiveStates()
          Returns the set of live states.
 java.util.Set<State> Automaton.getStates()
          Returns the set of states that are reachable from the initial state.
static java.util.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
 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
 void State.step(char c, java.util.Collection<State> dest)
          Performs lookup in transitions, allowing nondeterminism.
 

Constructors in dk.brics.automaton with parameters of type State
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.
 



Copyright © 2011. All Rights Reserved.