Uses of Class
dk.brics.automaton.State
-
-
Uses of State in dk.brics.automaton
Fields in dk.brics.automaton declared as State Modifier and Type Field Description (package private) State
ShuffleOperations.ShuffleConfiguration. a_state
(package private) State[]
ShuffleOperations.ShuffleConfiguration. ca_states
(package private) State
Automaton. initial
Initial state of this automaton.(package private) State
MinimizationOperations.StateListNode. q
(package private) State
StatePair. s
(package private) State
StatePair. s1
(package private) State
StatePair. s2
(package private) State
Transition. to
Methods in dk.brics.automaton that return State Modifier and Type Method Description private static State
BasicAutomata. anyOfRightLength(java.lang.String x, int n)
Constructs sub-automaton corresponding to decimal numbers of length x.substring(n).length().private static State
BasicAutomata. atLeast(java.lang.String x, int n, java.util.Collection<State> initials, boolean zeros)
Constructs sub-automaton corresponding to decimal numbers of value at least x.substring(n) and length x.substring(n).length().private static State
BasicAutomata. atMost(java.lang.String x, int n)
Constructs sub-automaton corresponding to decimal numbers of value at most x.substring(n) and length x.substring(n).length().private static State
BasicAutomata. between(java.lang.String x, java.lang.String y, int n, java.util.Collection<State> initials, boolean zeros)
Constructs sub-automaton corresponding to decimal numbers of value between x.substring(n) and y.substring(n) and of length x.substring(n).length() (which must be equal to y.substring(n).length()).static State
StringUnionOperations. build(java.lang.CharSequence[] input)
Build a minimal, deterministic automaton from a sorted list of strings.private static State
StringUnionOperations. convert(StringUnionOperations.State s, java.util.IdentityHashMap<StringUnionOperations.State,State> visited)
Internal recursive traversal for conversion.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 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.private java.util.Set<State>
Automaton. getLiveStates(java.util.Set<State> 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 Modifier and Type Method Description (package private) MinimizationOperations.StateListNode
MinimizationOperations.StateList. add(State q)
(package private) void
State. addEpsilon(State to)
private static void
SpecialOperations. addSetTransitions(State s, java.lang.String set, State p)
int
State. compareTo(State s)
Compares this object with the specified object for order.private static boolean
SpecialOperations. getFiniteStrings(State s, java.util.HashSet<State> pathstates, java.util.HashSet<java.lang.String> strings, java.lang.StringBuilder path, int limit)
Returns the strings that can be produced from the given state, or false if more thanlimit
strings are found.(package private) static java.lang.String
BasicOperations. getShortestExample(State s, boolean accepted)
private static void
SpecialOperations. getStrings(State s, java.util.Set<java.lang.String> strings, java.lang.StringBuilder path, int length)
private static boolean
SpecialOperations. isFinite(State s, java.util.HashSet<State> path, java.util.HashSet<State> visited)
Checks whether there is a loop containing s.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 private static State
BasicAutomata. atLeast(java.lang.String x, int n, java.util.Collection<State> initials, boolean zeros)
Constructs sub-automaton corresponding to decimal numbers of value at least x.substring(n) and length x.substring(n).length().private static State
BasicAutomata. between(java.lang.String x, java.lang.String y, int n, java.util.Collection<State> initials, boolean zeros)
Constructs sub-automaton corresponding to decimal numbers of value between x.substring(n) and y.substring(n) and of length x.substring(n).length() (which must be equal to y.substring(n).length()).private static State
StringUnionOperations. convert(StringUnionOperations.State s, java.util.IdentityHashMap<StringUnionOperations.State,State> visited)
Internal recursive traversal for conversion.(package private) static void
BasicOperations. determinize(Automaton a, java.util.Set<State> initialset)
Determinizes the given automaton using the given set of initial states.private static boolean
SpecialOperations. getFiniteStrings(State s, java.util.HashSet<State> pathstates, java.util.HashSet<java.lang.String> strings, java.lang.StringBuilder path, int limit)
Returns the strings that can be produced from the given state, or false if more thanlimit
strings are found.private java.util.Set<State>
Automaton. getLiveStates(java.util.Set<State> states)
(package private) static Transition[][]
Automaton. getSortedTransitions(java.util.Set<State> states)
Returns a sorted array of transitions for each state (and sets state numbers).private static boolean
SpecialOperations. isFinite(State s, java.util.HashSet<State> path, java.util.HashSet<State> visited)
Checks whether there is a loop containing s.(package private) static void
Automaton. setStateNumbers(java.util.Set<State> states)
Assigns consecutive numbers to the given states.private static void
MinimizationOperations. splitTransitions(java.util.Set<State> states)
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 Constructor Description ShuffleConfiguration(ShuffleOperations.ShuffleConfiguration c, int i1, State s1, char min)
ShuffleConfiguration(ShuffleOperations.ShuffleConfiguration c, int i1, State s1, State s2, char min)
StateListNode(State q, MinimizationOperations.StateList sl)
StatePair(State s1, State s2)
Constructs a new state pair.StatePair(State s, State s1, State s2)
Transition(char min, char max, State to)
Constructs a new transition.Transition(char c, State to)
Constructs a new singleton interval transition.
-