|
|||||||||
PREV NEXT | FRAMES NO FRAMES |
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. |
|
|||||||||
PREV NEXT | FRAMES NO FRAMES |