- get(String) - Static method in class dk.brics.automaton.Datatypes
-
Returns pre-built automaton.
- getAcceptStates() - Method in class dk.brics.automaton.Automaton
-
Returns the set of reachable accept states.
- getAutomaton(String) - Method in interface dk.brics.automaton.AutomatonProvider
-
Returns automaton of the given name.
- getAutomaton(String) - Method in class dk.brics.automaton.DatatypesAutomatonProvider
-
- getCharIntervals() - Method in class dk.brics.automaton.RunAutomaton
-
Returns array of character class interval start points.
- getCommonPrefix() - Method in class dk.brics.automaton.Automaton
-
- getCommonPrefix(Automaton) - Static method in class dk.brics.automaton.SpecialOperations
-
Returns the longest string that is a prefix of all accepted strings and
visits each state at most once.
- getDest() - Method in class dk.brics.automaton.Transition
-
Returns destination of this transition.
- getFiniteStrings() - Method in class dk.brics.automaton.Automaton
-
- getFiniteStrings(int) - Method in class dk.brics.automaton.Automaton
-
- getFiniteStrings(Automaton) - Static method in class dk.brics.automaton.SpecialOperations
-
Returns the set of accepted strings, assuming this automaton has a finite
language.
- getFiniteStrings(Automaton, int) - Static method in class dk.brics.automaton.SpecialOperations
-
Returns the set of accepted strings, assuming that at most limit
strings are accepted.
- getFirstState() - Method in class dk.brics.automaton.StatePair
-
Returns first component of this pair.
- getIdentifiers() - Method in class dk.brics.automaton.RegExp
-
Returns set of automaton identifiers that occur in this regular expression.
- getInfo() - Method in class dk.brics.automaton.Automaton
-
Returns extra information associated with this automaton.
- getInitialState() - Method in class dk.brics.automaton.Automaton
-
Gets initial state.
- getInitialState() - Method in class dk.brics.automaton.RunAutomaton
-
Returns initial state.
- getLiveStates() - Method in class dk.brics.automaton.Automaton
-
Returns the set of live states.
- getMax() - Method in class dk.brics.automaton.Transition
-
Returns maximum of this transition interval.
- getMin() - Method in class dk.brics.automaton.Transition
-
Returns minimum of this transition interval.
- getNumberOfStates() - Method in class dk.brics.automaton.Automaton
-
Returns the number of states in this automaton.
- getNumberOfTransitions() - Method in class dk.brics.automaton.Automaton
-
Returns the number of transitions in this automaton.
- getSecondState() - Method in class dk.brics.automaton.StatePair
-
Returns second component of this pair.
- getShortestExample(boolean) - Method in class dk.brics.automaton.Automaton
-
- getShortestExample(Automaton, boolean) - Static method in class dk.brics.automaton.BasicOperations
-
Returns a shortest accepted/rejected string.
- getSingleton() - Method in class dk.brics.automaton.Automaton
-
Returns the singleton string for this automaton.
- getSize() - Method in class dk.brics.automaton.RunAutomaton
-
Returns number of states in automaton.
- getSortedTransitions(boolean) - Method in class dk.brics.automaton.State
-
Returns sorted list of outgoing transitions.
- getStates() - Method in class dk.brics.automaton.Automaton
-
Returns the set of states that are reachable from the initial state.
- getStrings(int) - Method in class dk.brics.automaton.Automaton
-
- getStrings(Automaton, int) - Static method in class dk.brics.automaton.SpecialOperations
-
Returns the set of accepted strings of the given length.
- getTransitions() - Method in class dk.brics.automaton.State
-
Returns the set of outgoing transitions.
- group() - Method in class dk.brics.automaton.AutomatonMatcher
-
Returns the subsequence of the input found by the previous match.
- group(int) - Method in class dk.brics.automaton.AutomatonMatcher
-
Returns the subsequence of the input found by the specified capturing
group during the previous match operation.
- groupCount() - Method in class dk.brics.automaton.AutomatonMatcher
-
Returns the number of capturing groups in the underlying automaton.
- main(String[]) - Static method in class dk.brics.automaton.Datatypes
-
Invoke during compilation to pre-build automata.
- makeAnyChar() - Static method in class dk.brics.automaton.Automaton
-
- makeAnyChar() - Static method in class dk.brics.automaton.BasicAutomata
-
Returns a new (deterministic) automaton that accepts any single character.
- makeAnyString() - Static method in class dk.brics.automaton.Automaton
-
- makeAnyString() - Static method in class dk.brics.automaton.BasicAutomata
-
Returns a new (deterministic) automaton that accepts all strings.
- makeChar(char) - Static method in class dk.brics.automaton.Automaton
-
- makeChar(char) - Static method in class dk.brics.automaton.BasicAutomata
-
Returns a new (deterministic) automaton that accepts a single character of the given value.
- makeCharRange(char, char) - Static method in class dk.brics.automaton.Automaton
-
- makeCharRange(char, char) - Static method in class dk.brics.automaton.BasicAutomata
-
Returns a new (deterministic) automaton that accepts a single char
whose value is in the given interval (including both end points).
- makeCharSet(String) - Static method in class dk.brics.automaton.Automaton
-
- makeCharSet(String) - Static method in class dk.brics.automaton.BasicAutomata
-
Returns a new (deterministic) automaton that accepts a single character in the given set.
- makeDecimalValue(String) - Static method in class dk.brics.automaton.Automaton
-
- makeDecimalValue(String) - Static method in class dk.brics.automaton.BasicAutomata
-
Constructs automaton that accept strings representing the given decimal number.
- makeEmpty() - Static method in class dk.brics.automaton.Automaton
-
- makeEmpty() - Static method in class dk.brics.automaton.BasicAutomata
-
Returns a new (deterministic) automaton with the empty language.
- makeEmptyString() - Static method in class dk.brics.automaton.Automaton
-
- makeEmptyString() - Static method in class dk.brics.automaton.BasicAutomata
-
Returns a new (deterministic) automaton that accepts only the empty string.
- makeFractionDigits(int) - Static method in class dk.brics.automaton.Automaton
-
- makeFractionDigits(int) - Static method in class dk.brics.automaton.BasicAutomata
-
Constructs automaton that accept strings representing decimal numbers
that can be written with at most the given number of digits in the fraction part.
- makeIntegerValue(String) - Static method in class dk.brics.automaton.Automaton
-
- makeIntegerValue(String) - Static method in class dk.brics.automaton.BasicAutomata
-
Constructs automaton that accept strings representing the given integer.
- makeInterval(int, int, int) - Static method in class dk.brics.automaton.Automaton
-
- makeInterval(int, int, int) - Static method in class dk.brics.automaton.BasicAutomata
-
Returns a new automaton that accepts strings representing
decimal non-negative integers in the given interval.
- makeMaxInteger(String) - Static method in class dk.brics.automaton.Automaton
-
- makeMaxInteger(String) - Static method in class dk.brics.automaton.BasicAutomata
-
Constructs automaton that accept strings representing nonnegative integers
that are not larger than the given value.
- makeMinInteger(String) - Static method in class dk.brics.automaton.Automaton
-
- makeMinInteger(String) - Static method in class dk.brics.automaton.BasicAutomata
-
Constructs automaton that accept strings representing nonnegative integers
that are not less that the given value.
- makeString(String) - Static method in class dk.brics.automaton.Automaton
-
- makeString(String) - Static method in class dk.brics.automaton.BasicAutomata
-
Returns a new (deterministic) automaton that accepts the single given string.
- makeStringMatcher(String) - Static method in class dk.brics.automaton.Automaton
-
- makeStringMatcher(String) - Static method in class dk.brics.automaton.BasicAutomata
-
Constructs deterministic automaton that matches strings that contain the given substring.
- makeStringUnion(CharSequence...) - Static method in class dk.brics.automaton.Automaton
-
- makeStringUnion(CharSequence...) - Static method in class dk.brics.automaton.BasicAutomata
-
Returns a new (deterministic and minimal) automaton that accepts the union of the
given set of strings.
- makeTotalDigits(int) - Static method in class dk.brics.automaton.Automaton
-
- makeTotalDigits(int) - Static method in class dk.brics.automaton.BasicAutomata
-
Constructs automaton that accept strings representing decimal numbers
that can be written with at most the given number of digits.
- MinimizationOperations - Class in dk.brics.automaton
-
Operations for minimizing automata.
- minimize() - Method in class dk.brics.automaton.Automaton
-
- minimize(Automaton) - Static method in class dk.brics.automaton.Automaton
-
- minimize(Automaton) - Static method in class dk.brics.automaton.MinimizationOperations
-
Minimizes (and determinizes if not already deterministic) the given automaton.
- MINIMIZE_BRZOZOWSKI - Static variable in class dk.brics.automaton.Automaton
-
Minimize using Brzozowski's O(2n) algorithm.
- MINIMIZE_HOPCROFT - Static variable in class dk.brics.automaton.Automaton
-
Minimize using Hopcroft's O(n log n) algorithm.
- MINIMIZE_HUFFMAN - Static variable in class dk.brics.automaton.Automaton
-
Minimize using Huffman's O(n2) algorithm.
- MINIMIZE_VALMARI - Static variable in class dk.brics.automaton.Automaton
-
Minimize using Valmari's O(n + m log m) algorithm.
- minimizeBrzozowski(Automaton) - Static method in class dk.brics.automaton.MinimizationOperations
-
Minimizes the given automaton using Brzozowski's algorithm.
- minimizeHopcroft(Automaton) - Static method in class dk.brics.automaton.MinimizationOperations
-
Minimizes the given automaton using Hopcroft's algorithm.
- minimizeHuffman(Automaton) - Static method in class dk.brics.automaton.MinimizationOperations
-
Minimizes the given automaton using Huffman's algorithm.
- minimizeValmari(Automaton) - Static method in class dk.brics.automaton.MinimizationOperations
-
Minimizes the given automaton using Valmari's algorithm.
- minus(Automaton) - Method in class dk.brics.automaton.Automaton
-
- minus(Automaton, Automaton) - Static method in class dk.brics.automaton.BasicOperations
-
Returns a (deterministic) automaton that accepts the intersection of
the language of a1
and the complement of the language of
a2
.
- reduce() - Method in class dk.brics.automaton.Automaton
-
Reduces this automaton.
- RegExp - Class in dk.brics.automaton
-
Regular Expression extension to Automaton
.
- RegExp(String) - Constructor for class dk.brics.automaton.RegExp
-
Constructs new RegExp
from a string.
- RegExp(String, int) - Constructor for class dk.brics.automaton.RegExp
-
Constructs new RegExp
from a string.
- removeDeadTransitions() - Method in class dk.brics.automaton.Automaton
-
- repeat() - Method in class dk.brics.automaton.Automaton
-
- repeat(int) - Method in class dk.brics.automaton.Automaton
-
- repeat(int, int) - Method in class dk.brics.automaton.Automaton
-
- repeat(Automaton) - Static method in class dk.brics.automaton.BasicOperations
-
Returns an automaton that accepts the Kleene star (zero or more
concatenated repetitions) of the language of the given automaton.
- repeat(Automaton, int) - Static method in class dk.brics.automaton.BasicOperations
-
Returns an automaton that accepts min
or more
concatenated repetitions of the language of the given automaton.
- repeat(Automaton, int, int) - Static method in class dk.brics.automaton.BasicOperations
-
Returns an automaton that accepts between min
and
max
(including both) concatenated repetitions of the
language of the given automaton.
- replaceWhitespace(Automaton) - Static method in class dk.brics.automaton.Automaton
-
- replaceWhitespace(Automaton) - Static method in class dk.brics.automaton.SpecialOperations
-
Constructs automaton that accepts 0x20, 0x9, 0xa, and 0xd in place of each 0x20 transition
in the given automaton.
- restoreInvariant() - Method in class dk.brics.automaton.Automaton
-
Restores representation invariant.
- reverse(Automaton) - Static method in class dk.brics.automaton.SpecialOperations
-
Reverses the language of the given (non-singleton) automaton while returning
the set of new initial states.
- run(String) - Method in class dk.brics.automaton.Automaton
-
- run(Automaton, String) - Static method in class dk.brics.automaton.BasicOperations
-
Returns true if the given string is accepted by the automaton.
- run(String) - Method in class dk.brics.automaton.RunAutomaton
-
Returns true if the given string is accepted by this automaton.
- run(String, int) - Method in class dk.brics.automaton.RunAutomaton
-
Returns the length of the longest accepted run of the given string
starting at the given offset.
- RunAutomaton - Class in dk.brics.automaton
-
Finite-state automaton with fast run operation.
- RunAutomaton(Automaton) - Constructor for class dk.brics.automaton.RunAutomaton
-
Constructs a new RunAutomaton
from a deterministic
Automaton
.
- RunAutomaton(Automaton, boolean) - Constructor for class dk.brics.automaton.RunAutomaton
-
Constructs a new RunAutomaton
from a deterministic
Automaton
.
- setAccept(boolean) - Method in class dk.brics.automaton.State
-
Sets acceptance for this state.
- setAllowMutate(boolean) - Static method in class dk.brics.automaton.Automaton
-
Sets or resets allow mutate flag.
- setAllowMutate(boolean) - Method in class dk.brics.automaton.RegExp
-
Sets or resets allow mutate flag.
- setDeterministic(boolean) - Method in class dk.brics.automaton.Automaton
-
Sets deterministic flag for this automaton.
- setInfo(Object) - Method in class dk.brics.automaton.Automaton
-
Associates extra information with this automaton.
- setInitialState(State) - Method in class dk.brics.automaton.Automaton
-
Sets initial state.
- setMinimization(int) - Static method in class dk.brics.automaton.Automaton
-
Selects minimization algorithm (default: MINIMIZE_HOPCROFT
).
- setMinimizeAlways(boolean) - Static method in class dk.brics.automaton.Automaton
-
Sets or resets minimize always flag.
- shuffle(Automaton) - Method in class dk.brics.automaton.Automaton
-
- shuffle(Automaton, Automaton) - Static method in class dk.brics.automaton.ShuffleOperations
-
Returns an automaton that accepts the shuffle (interleaving) of
the languages of the given automata.
- ShuffleOperations - Class in dk.brics.automaton
-
Automata operations involving shuffling.
- shuffleSubsetOf(Collection<Automaton>, Automaton, Character, Character) - Static method in class dk.brics.automaton.Automaton
-
- shuffleSubsetOf(Collection<Automaton>, Automaton, Character, Character) - Static method in class dk.brics.automaton.ShuffleOperations
-
Returns a string that is an interleaving of strings that are accepted by
ca
but not by a
.
- singleChars() - Method in class dk.brics.automaton.Automaton
-
- singleChars(Automaton) - Static method in class dk.brics.automaton.SpecialOperations
-
Returns an automaton that accepts the single chars that occur
in strings that are accepted by the given automaton.
- SpecialOperations - Class in dk.brics.automaton
-
Special automata operations.
- start() - Method in class dk.brics.automaton.AutomatonMatcher
-
Returns the offset of the first character matched.
- start(int) - Method in class dk.brics.automaton.AutomatonMatcher
-
Returns the offset of the first character matched of the specified
capturing group.
- State - Class in dk.brics.automaton
-
Automaton state.
- State() - Constructor for class dk.brics.automaton.State
-
Constructs a new state.
- StatePair - Class in dk.brics.automaton
-
Pair of states.
- StatePair(State, State) - Constructor for class dk.brics.automaton.StatePair
-
Constructs a new state pair.
- step(int, char) - Method in class dk.brics.automaton.RunAutomaton
-
Returns the state obtained by reading the given char from the given
state.
- step(char) - Method in class dk.brics.automaton.State
-
Performs lookup in transitions, assuming determinism.
- step(char, Collection<State>) - Method in class dk.brics.automaton.State
-
Performs lookup in transitions, allowing nondeterminism.
- store(OutputStream) - Method in class dk.brics.automaton.Automaton
-
Writes this Automaton
to the given stream.
- store(OutputStream) - Method in class dk.brics.automaton.RunAutomaton
-
Writes this RunAutomaton
to the given stream.
- StringUnionOperations - Class in dk.brics.automaton
-
Operations for building minimal deterministic automata from sets of strings.
- StringUnionOperations() - Constructor for class dk.brics.automaton.StringUnionOperations
-
- subsetOf(Automaton) - Method in class dk.brics.automaton.Automaton
-
- subsetOf(Automaton, Automaton) - Static method in class dk.brics.automaton.BasicOperations
-
Returns true if the language of a1
is a subset of the
language of a2
.
- subst(Map<Character, Set<Character>>) - Method in class dk.brics.automaton.Automaton
-
- subst(char, String) - Method in class dk.brics.automaton.Automaton
-
- subst(Automaton, Map<Character, Set<Character>>) - Static method in class dk.brics.automaton.SpecialOperations
-
Returns an automaton where all transition labels have been substituted.
- subst(Automaton, char, String) - Static method in class dk.brics.automaton.SpecialOperations
-
Returns an automaton where all transitions of the given char are replaced by a string.
- toAutomaton() - Method in class dk.brics.automaton.RegExp
-
Constructs new Automaton
from this RegExp
.
- toAutomaton(boolean) - Method in class dk.brics.automaton.RegExp
-
Constructs new Automaton
from this RegExp
.
- toAutomaton(AutomatonProvider) - Method in class dk.brics.automaton.RegExp
-
Constructs new Automaton
from this RegExp
.
- toAutomaton(AutomatonProvider, boolean) - Method in class dk.brics.automaton.RegExp
-
Constructs new Automaton
from this RegExp
.
- toAutomaton(Map<String, Automaton>) - Method in class dk.brics.automaton.RegExp
-
Constructs new Automaton
from this RegExp
.
- toAutomaton(Map<String, Automaton>, boolean) - Method in class dk.brics.automaton.RegExp
-
Constructs new Automaton
from this RegExp
.
- toDot() - Method in class dk.brics.automaton.Automaton
-
- toMatchResult() - Method in class dk.brics.automaton.AutomatonMatcher
-
Returns the current state of this AutomatonMatcher
as a
MatchResult
.
- toString() - Method in class dk.brics.automaton.Automaton
-
Returns a string representation of this automaton.
- toString() - Method in class dk.brics.automaton.RegExp
-
Constructs string from parsed regular expression.
- toString() - Method in class dk.brics.automaton.RunAutomaton
-
Returns a string representation of this automaton.
- toString() - Method in class dk.brics.automaton.State
-
Returns string describing this state.
- toString() - Method in class dk.brics.automaton.Transition
-
Returns a string describing this state.
- Transition - Class in dk.brics.automaton
-
Automaton transition.
- Transition(char, State) - Constructor for class dk.brics.automaton.Transition
-
Constructs a new singleton interval transition.
- Transition(char, char, State) - Constructor for class dk.brics.automaton.Transition
-
Constructs a new transition.
- trim(String, char) - Method in class dk.brics.automaton.Automaton
-
- trim(Automaton, String, char) - Static method in class dk.brics.automaton.SpecialOperations
-
Returns an automaton that accepts the trimmed language of the given
automaton.