A B C D E F G H I K L M N O P Q R S T U V W X
All Classes All Packages
All Classes All Packages
All Classes All Packages
A
- a_state - Variable in class dk.brics.automaton.ShuffleOperations.ShuffleConfiguration
- accept - Variable in class dk.brics.automaton.RunAutomaton
- accept - Variable in class dk.brics.automaton.State
- acceptToAccept(Automaton) - Static method in class dk.brics.automaton.SpecialOperations
- add(State) - Method in class dk.brics.automaton.MinimizationOperations.StateList
- add(Character, Character, LinkedList<ShuffleOperations.ShuffleConfiguration>, Set<ShuffleOperations.ShuffleConfiguration>, ShuffleOperations.ShuffleConfiguration, int, Transition, Transition, char, char) - Static method in class dk.brics.automaton.ShuffleOperations
- add(CharSequence) - Method in class dk.brics.automaton.StringUnionOperations
-
Add another character sequence to this automaton.
- addEpsilon(State) - Method in class dk.brics.automaton.State
- addEpsilons(Automaton, Collection<StatePair>) - Static method in class dk.brics.automaton.BasicOperations
-
Adds epsilon transitions to the given automaton.
- addEpsilons(Collection<StatePair>) - Method in class dk.brics.automaton.Automaton
- addSetTransitions(State, String, State) - Static method in class dk.brics.automaton.SpecialOperations
- addSuffix(StringUnionOperations.State, CharSequence, int) - Method in class dk.brics.automaton.StringUnionOperations
-
Add a suffix of
current
starting atfromIndex
(inclusive) to statestate
. - addTransition(Transition) - Method in class dk.brics.automaton.State
-
Adds an outgoing transition.
- addTriggers(Transition[][], ArrayList<ArrayList<HashSet<MinimizationOperations.IntPair>>>, int, int) - Static method in class dk.brics.automaton.MinimizationOperations
- ALL - Static variable in class dk.brics.automaton.RegExp
-
Syntax flag, enables all optional regexp syntax.
- allow_mutation - Static variable in class dk.brics.automaton.Automaton
-
Selects whether operations may modify the input automata (default:
false
). - allow_mutation - Static variable in class dk.brics.automaton.RegExp
- anyOfRightLength(String, int) - Static method in class dk.brics.automaton.BasicAutomata
-
Constructs sub-automaton corresponding to decimal numbers of length x.substring(n).length().
- ANYSTRING - Static variable in class dk.brics.automaton.RegExp
-
Syntax flag, enables anystring (
@
). - appendChar(char, StringBuilder) - Method in class dk.brics.automaton.RegExp
- appendCharString(char, StringBuilder) - Static method in class dk.brics.automaton.Transition
- appendDot(StringBuilder) - Method in class dk.brics.automaton.Transition
- atLeast(String, int, Collection<State>, boolean) - Static method in class dk.brics.automaton.BasicAutomata
-
Constructs sub-automaton corresponding to decimal numbers of value at least x.substring(n) and length x.substring(n).length().
- atMost(String, int) - Static method in class dk.brics.automaton.BasicAutomata
-
Constructs sub-automaton corresponding to decimal numbers of value at most x.substring(n) and length x.substring(n).length().
- automata - Static variable in class dk.brics.automaton.Datatypes
- automaton - Variable in class dk.brics.automaton.AutomatonMatcher
- Automaton - Class in dk.brics.automaton
-
Finite-state automaton with regular expression operations.
- Automaton() - Constructor for class dk.brics.automaton.Automaton
-
Constructs a new automaton that accepts the empty language.
- AUTOMATON - Static variable in class dk.brics.automaton.RegExp
-
Syntax flag, enables named automata (
<
identifier>
). - AutomatonMatcher - Class in dk.brics.automaton
-
A tool that performs match operations on a given character sequence using a compiled automaton.
- AutomatonMatcher(CharSequence, RunAutomaton) - Constructor for class dk.brics.automaton.AutomatonMatcher
- AutomatonProvider - Interface in dk.brics.automaton
-
Automaton provider for
RegExp.
RegExp.toAutomaton(AutomatonProvider)
B
- b - Variable in class dk.brics.automaton.RegExp
- BasicAutomata - Class in dk.brics.automaton
-
Construction of basic automata.
- BasicAutomata() - Constructor for class dk.brics.automaton.BasicAutomata
- BasicOperations - Class in dk.brics.automaton
-
Basic automata operations.
- BasicOperations() - Constructor for class dk.brics.automaton.BasicOperations
- between(String, String, int, Collection<State>, boolean) - Static method in class dk.brics.automaton.BasicAutomata
-
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()).
- build(CharSequence[]) - Static method in class dk.brics.automaton.StringUnionOperations
-
Build a minimal, deterministic automaton from a sorted list of strings.
- buildAll() - Static method in class dk.brics.automaton.Datatypes
- buildMap(String[]) - Static method in class dk.brics.automaton.Datatypes
C
- c - Variable in class dk.brics.automaton.RegExp
- ca_states - Variable in class dk.brics.automaton.ShuffleOperations.ShuffleConfiguration
- chars - Variable in class dk.brics.automaton.AutomatonMatcher
- check(int) - Method in class dk.brics.automaton.RegExp
- checkMinimizeAlways() - Method in class dk.brics.automaton.Automaton
- classmap - Variable in class dk.brics.automaton.RunAutomaton
- clearHashCode() - Method in class dk.brics.automaton.Automaton
-
Must be invoked when the stored hash code may no longer be valid.
- clone() - Method in class dk.brics.automaton.Automaton
-
Returns a clone of this automaton.
- clone() - Method in class dk.brics.automaton.Transition
-
Clones this transition.
- cloneExpanded() - Method in class dk.brics.automaton.Automaton
-
Returns a clone of this automaton, expands if singleton.
- cloneExpandedIfRequired() - Method in class dk.brics.automaton.Automaton
-
Returns a clone of this automaton unless
allow_mutation
is set, expands if singleton. - cloneIfRequired() - Method in class dk.brics.automaton.Automaton
-
Returns a clone of this automaton, or this automaton itself if
allow_mutation
flag is set. - compare(Transition, Transition) - Method in class dk.brics.automaton.TransitionComparator
-
Compares by (min, reverse max, to) or (to, min, reverse max).
- compare(Integer, Integer) - Method in class dk.brics.automaton.MinimizationOperations.LabelComparator
- compareTo(State) - Method in class dk.brics.automaton.State
-
Compares this object with the specified object for order.
- complement() - Method in class dk.brics.automaton.Automaton
- complement(Automaton) - Static method in class dk.brics.automaton.BasicOperations
-
Returns a (deterministic) automaton that accepts the complement of the language of the given automaton.
- COMPLEMENT - Static variable in class dk.brics.automaton.RegExp
-
Syntax flag, enables complement (
~
). - complete() - Method in class dk.brics.automaton.StringUnionOperations
-
Finalize the automaton and return the root state.
- compress(Automaton, String, char) - Static method in class dk.brics.automaton.SpecialOperations
-
Returns an automaton that accepts the compressed language of the given automaton.
- compress(String, char) - Method in class dk.brics.automaton.Automaton
- computeHash() - Method in class dk.brics.automaton.ShuffleOperations.ShuffleConfiguration
- concatenate(Automaton) - Method in class dk.brics.automaton.Automaton
- concatenate(Automaton, Automaton) - Static method in class dk.brics.automaton.BasicOperations
-
Returns an automaton that accepts the concatenation of the languages of the given automata.
- concatenate(List<Automaton>) - Static method in class dk.brics.automaton.Automaton
- concatenate(List<Automaton>) - Static method in class dk.brics.automaton.BasicOperations
-
Returns an automaton that accepts the concatenation of the languages of the given automata.
- convert(StringUnionOperations.State, IdentityHashMap<StringUnionOperations.State, State>) - Static method in class dk.brics.automaton.StringUnionOperations
-
Internal recursive traversal for conversion.
- copyOf(char[], int) - Static method in class dk.brics.automaton.StringUnionOperations.State
-
JDK1.5-replacement of
Arrays.copyOf(char[], int)
- copyOf(StringUnionOperations.State[], int) - Static method in class dk.brics.automaton.StringUnionOperations.State
-
JDK1.5-replacement of
Arrays.copyOf(char[], int)
D
- Datatypes - Class in dk.brics.automaton
-
Basic automata for representing common datatypes related to Unicode, XML, and XML Schema.
- Datatypes() - Constructor for class dk.brics.automaton.Datatypes
- DatatypesAutomatonProvider - Class in dk.brics.automaton
-
Automaton provider based on
Datatypes
. - DatatypesAutomatonProvider() - Constructor for class dk.brics.automaton.DatatypesAutomatonProvider
-
Constructs a new automaton provider that recognizes all names from
Datatypes.get(String)
. - DatatypesAutomatonProvider(boolean, boolean, boolean) - Constructor for class dk.brics.automaton.DatatypesAutomatonProvider
-
Constructs a new automaton provider that recognizes some of the names from
Datatypes.get(String)
- deterministic - Variable in class dk.brics.automaton.Automaton
-
If true, then this automaton is definitely deterministic (i.e., there are no choices for any run, but a run may crash).
- determinize() - Method in class dk.brics.automaton.Automaton
- determinize(Automaton) - Static method in class dk.brics.automaton.BasicOperations
-
Determinizes the given automaton.
- determinize(Automaton, Set<State>) - Static method in class dk.brics.automaton.BasicOperations
-
Determinizes the given automaton using the given set of initial states.
- digits - Variable in class dk.brics.automaton.RegExp
- dk.brics.automaton - package dk.brics.automaton
-
Finite-state automaton for regular expressions.
E
- elements - Variable in class dk.brics.automaton.MinimizationOperations.Partition
- EMPTY - Static variable in class dk.brics.automaton.RegExp
-
Syntax flag, enables empty language (
#
). - enable_unicodeblocks - Variable in class dk.brics.automaton.DatatypesAutomatonProvider
- enable_unicodecategories - Variable in class dk.brics.automaton.DatatypesAutomatonProvider
- enable_xml - Variable in class dk.brics.automaton.DatatypesAutomatonProvider
- end() - Method in class dk.brics.automaton.AutomatonMatcher
-
Returns the offset after the last character matched.
- end(int) - Method in class dk.brics.automaton.AutomatonMatcher
-
Returns the offset after the last character matched of the specified capturing group.
- equals(Object) - Method in class dk.brics.automaton.Automaton
-
Returns true if the language of this automaton is equal to the language of the given automaton.
- equals(Object) - Method in class dk.brics.automaton.ShuffleOperations.ShuffleConfiguration
- equals(Object) - Method in class dk.brics.automaton.State
-
See
Object.equals(java.lang.Object)
. - equals(Object) - Method in class dk.brics.automaton.StatePair
-
Checks for equality.
- equals(Object) - Method in class dk.brics.automaton.StringUnionOperations.State
-
Two states are equal if: they have an identical number of outgoing transitions, labeled with the same labels corresponding outgoing transitions lead to the same states (to states with an identical right-language).
- equals(Object) - Method in class dk.brics.automaton.Transition
-
Checks for equality.
- exists(String) - Static method in class dk.brics.automaton.Datatypes
-
Checks whether a given automaton is available.
- exp1 - Variable in class dk.brics.automaton.RegExp
- exp2 - Variable in class dk.brics.automaton.RegExp
- expandSingleton() - Method in class dk.brics.automaton.Automaton
-
Expands singleton representation to normal representation.
F
- find() - Method in class dk.brics.automaton.AutomatonMatcher
-
Find the next matching subsequence of the input.
- findIndex(char, char[]) - Static method in class dk.brics.automaton.SpecialOperations
-
Finds the largest entry whose value is less than or equal to c, or 0 if there is no such entry.
- findLeaves(RegExp, RegExp.Kind, List<Automaton>, Map<String, Automaton>, AutomatonProvider, boolean) - Method in class dk.brics.automaton.RegExp
- first - Variable in class dk.brics.automaton.MinimizationOperations.Partition
- first - Variable in class dk.brics.automaton.MinimizationOperations.StateList
- flags - Variable in class dk.brics.automaton.RegExp
- from - Variable in class dk.brics.automaton.RegExp
G
- 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.
- getAllowMutate() - Static method in class dk.brics.automaton.Automaton
-
Returns the state of the allow mutate flag.
- getAutomaton(String) - Method in interface dk.brics.automaton.AutomatonProvider
-
Returns automaton of the given name.
- getAutomaton(String) - Method in class dk.brics.automaton.DatatypesAutomatonProvider
- getCharClass(char) - Method in class dk.brics.automaton.RunAutomaton
-
Gets character class of given char.
- getCharIntervals() - Method in class dk.brics.automaton.RunAutomaton
-
Returns array of character class interval start points.
- getChars() - Method in class dk.brics.automaton.AutomatonMatcher
- 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. - getFiniteStrings(State, HashSet<State>, HashSet<String>, StringBuilder, int) - Static method in class dk.brics.automaton.SpecialOperations
-
Returns the strings that can be produced from the given state, or false if more than
limit
strings are found. - 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.
- getIdentifiers(Set<String>) - Method in class dk.brics.automaton.RegExp
- 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.
- getLiveStates(Set<State>) - Method in class dk.brics.automaton.Automaton
- getMatchEnd() - Method in class dk.brics.automaton.AutomatonMatcher
- getMatchStart() - Method in class dk.brics.automaton.AutomatonMatcher
- 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.
- getShortestExample(State, boolean) - Static method in class dk.brics.automaton.BasicOperations
- 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.
- getSortedTransitionArray(boolean) - Method in class dk.brics.automaton.State
-
Returns transitions sorted by (min, reverse max, to) or (to, min, reverse max)
- getSortedTransitions(boolean) - Method in class dk.brics.automaton.State
-
Returns sorted list of outgoing transitions.
- getSortedTransitions(Set<State>) - Static method in class dk.brics.automaton.Automaton
-
Returns a sorted array of transitions for each state (and sets state numbers).
- getStartPoints() - Method in class dk.brics.automaton.Automaton
-
Returns sorted array of all interval start points.
- getState(char) - Method in class dk.brics.automaton.StringUnionOperations.State
-
Returns the target state of a transition leaving this state and labeled with
label
. - getStates() - Method in class dk.brics.automaton.Automaton
-
Returns the set of states that are reachable from the initial state.
- getStates() - Method in class dk.brics.automaton.StringUnionOperations.State
-
Returns an array of outgoing transitions from this 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.
- getStrings(State, Set<String>, StringBuilder, int) - Static method in class dk.brics.automaton.SpecialOperations
- getTransitionLabels() - Method in class dk.brics.automaton.StringUnionOperations.State
-
Returns an array of outgoing transition labels.
- getTransitions() - Method in class dk.brics.automaton.State
-
Returns the set of outgoing transitions.
- getWhitespaceAutomaton() - Static method in class dk.brics.automaton.Datatypes
- 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.
H
- hasChildren() - Method in class dk.brics.automaton.StringUnionOperations.State
-
Return
true
if this state has any children (outgoing transitions). - hash - Variable in class dk.brics.automaton.ShuffleOperations.ShuffleConfiguration
- hash_code - Variable in class dk.brics.automaton.Automaton
-
Hash code.
- hashCode() - Method in class dk.brics.automaton.Automaton
-
Returns hash code for this automaton.
- hashCode() - Method in class dk.brics.automaton.ShuffleOperations.ShuffleConfiguration
- hashCode() - Method in class dk.brics.automaton.State
-
See
Object.hashCode()
. - hashCode() - Method in class dk.brics.automaton.StatePair
-
Returns hash code.
- hashCode() - Method in class dk.brics.automaton.StringUnionOperations.State
-
Compute the hash code of the current status of this state.
- hashCode() - Method in class dk.brics.automaton.Transition
-
Returns hash code.
- hexCases(Automaton) - Static method in class dk.brics.automaton.Automaton
- hexCases(Automaton) - Static method in class dk.brics.automaton.SpecialOperations
-
Constructs automaton that accepts the same strings as the given automaton but ignores upper/lower case of A-F.
- homomorph(char[], char[]) - Method in class dk.brics.automaton.Automaton
- homomorph(Automaton, char[], char[]) - Static method in class dk.brics.automaton.SpecialOperations
-
Returns an automaton accepting the homomorphic image of the given automaton using the given function.
I
- id - Variable in class dk.brics.automaton.State
- info - Variable in class dk.brics.automaton.Automaton
-
Extra data associated with this automaton.
- initial - Variable in class dk.brics.automaton.Automaton
-
Initial state of this automaton.
- initial - Variable in class dk.brics.automaton.RunAutomaton
- initialize(ArrayList<T>, int) - Static method in class dk.brics.automaton.MinimizationOperations
- intersection(Automaton) - Method in class dk.brics.automaton.Automaton
- intersection(Automaton, Automaton) - Static method in class dk.brics.automaton.BasicOperations
-
Returns an automaton that accepts the intersection of the languages of the given automata.
- INTERSECTION - Static variable in class dk.brics.automaton.RegExp
-
Syntax flag, enables intersection (
&
). - INTERVAL - Static variable in class dk.brics.automaton.RegExp
-
Syntax flag, enables numerical intervals (
<n-m>
). - IntPair(int, int) - Constructor for class dk.brics.automaton.MinimizationOperations.IntPair
- is_debug - Static variable in class dk.brics.automaton.Automaton
-
Caches the
isDebug
state. - is_final - Variable in class dk.brics.automaton.StringUnionOperations.State
-
true
if this state corresponds to the end of at least one input sequence. - isAccept() - Method in class dk.brics.automaton.State
-
Returns acceptance status.
- isAccept(int) - Method in class dk.brics.automaton.RunAutomaton
-
Returns acceptance status for given state.
- isDebug() - Method in class dk.brics.automaton.Automaton
- isDeterministic() - Method in class dk.brics.automaton.Automaton
-
Returns deterministic flag for this automaton.
- isEmpty() - Method in class dk.brics.automaton.Automaton
- isEmpty(Automaton) - Static method in class dk.brics.automaton.BasicOperations
-
Returns true if the given automaton accepts no strings.
- isEmptyString() - Method in class dk.brics.automaton.Automaton
- isEmptyString(Automaton) - Static method in class dk.brics.automaton.BasicOperations
-
Returns true if the given automaton accepts the empty string and nothing else.
- isFinal() - Method in class dk.brics.automaton.StringUnionOperations.State
-
Is this state a final state in the automaton?
- isFinite() - Method in class dk.brics.automaton.Automaton
- isFinite(Automaton) - Static method in class dk.brics.automaton.SpecialOperations
-
Returns true if the language of this automaton is finite.
- isFinite(State, HashSet<State>, HashSet<State>) - Static method in class dk.brics.automaton.SpecialOperations
-
Checks whether there is a loop containing s.
- isSingleton() - Method in class dk.brics.automaton.Automaton
- isTotal() - Method in class dk.brics.automaton.Automaton
- isTotal(Automaton) - Static method in class dk.brics.automaton.BasicOperations
-
Returns true if the given automaton accepts all strings.
- isUnicodeBlockName(String) - Static method in class dk.brics.automaton.Datatypes
-
Checks whether the given string is the name of a Unicode block (see
Datatypes.get(String)
). - isUnicodeCategoryName(String) - Static method in class dk.brics.automaton.Datatypes
-
Checks whether the given string is the name of a Unicode category (see
Datatypes.get(String)
). - isXMLName(String) - Static method in class dk.brics.automaton.Datatypes
-
Checks whether the given string is the name of an XML / XML Schema automaton (see
Datatypes.get(String)
).
K
- kind - Variable in class dk.brics.automaton.RegExp
- Kind() - Constructor for enum dk.brics.automaton.RegExp.Kind
L
- LabelComparator(MinimizationOperations.IntPair[]) - Constructor for class dk.brics.automaton.MinimizationOperations.LabelComparator
- labels - Variable in class dk.brics.automaton.MinimizationOperations.LabelComparator
- labels - Variable in class dk.brics.automaton.StringUnionOperations.State
-
Labels of outgoing transitions.
- last - Variable in class dk.brics.automaton.MinimizationOperations.StateList
- lastChild() - Method in class dk.brics.automaton.StringUnionOperations.State
-
Return the most recent transitions's target state.
- lastChild(char) - Method in class dk.brics.automaton.StringUnionOperations.State
-
Return the associated state if the most recent transition is labeled with
label
. - LEXICOGRAPHIC_ORDER - Static variable in class dk.brics.automaton.StringUnionOperations
-
Lexicographic order of input sequences.
- load(InputStream) - Static method in class dk.brics.automaton.Automaton
-
Retrieves a serialized
Automaton
from a stream. - load(InputStream) - Static method in class dk.brics.automaton.RunAutomaton
-
Retrieves a serialized
RunAutomaton
from a stream. - load(String) - Static method in class dk.brics.automaton.Datatypes
- load(URL) - Static method in class dk.brics.automaton.Automaton
-
Retrieves a serialized
Automaton
located by a URL. - load(URL) - Static method in class dk.brics.automaton.RunAutomaton
-
Retrieves a serialized
RunAutomaton
located by a URL. - locations - Variable in class dk.brics.automaton.MinimizationOperations.Partition
M
- main(String[]) - Static method in class dk.brics.automaton.Datatypes
-
Invoke during compilation to pre-build automata.
- makeAdjacent(int[], int[], int[], int, int) - Static method in class dk.brics.automaton.MinimizationOperations
- 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.
- makeAnyChar() - Static method in class dk.brics.automaton.RegExp
- 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.
- makeAnyString() - Static method in class dk.brics.automaton.RegExp
- makeAutomaton(String) - Static method in class dk.brics.automaton.RegExp
- 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.
- makeChar(char) - Static method in class dk.brics.automaton.RegExp
- 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).
- makeCharRange(char, char) - Static method in class dk.brics.automaton.RegExp
- 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.
- makeCodePoint(int) - Static method in class dk.brics.automaton.Datatypes
- makeComplement(RegExp) - Static method in class dk.brics.automaton.RegExp
- makeConcatenation(RegExp, RegExp) - Static method in class dk.brics.automaton.RegExp
- 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.
- makeEmpty() - Static method in class dk.brics.automaton.RegExp
- 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.
- makeIntersection(RegExp, RegExp) - Static method in class dk.brics.automaton.RegExp
- 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.
- makeInterval(int, int, int) - Static method in class dk.brics.automaton.RegExp
- 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.
- makeOptional(RegExp) - Static method in class dk.brics.automaton.RegExp
- makeRepeat(RegExp) - Static method in class dk.brics.automaton.RegExp
- makeRepeat(RegExp, int) - Static method in class dk.brics.automaton.RegExp
- makeRepeat(RegExp, int, int) - Static method in class dk.brics.automaton.RegExp
- makeString(RegExp, RegExp) - Static method in class dk.brics.automaton.RegExp
- 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.
- makeString(String) - Static method in class dk.brics.automaton.RegExp
- 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.
- makeUnion(RegExp, RegExp) - Static method in class dk.brics.automaton.RegExp
- mark(int) - Method in class dk.brics.automaton.MinimizationOperations.Partition
- markedElementCount - Variable in class dk.brics.automaton.MinimizationOperations.Partition
- markPair(boolean[][], ArrayList<ArrayList<HashSet<MinimizationOperations.IntPair>>>, int, int) - Static method in class dk.brics.automaton.MinimizationOperations
- match(char) - Method in class dk.brics.automaton.RegExp
- matchEnd - Variable in class dk.brics.automaton.AutomatonMatcher
- matchGood() - Method in class dk.brics.automaton.AutomatonMatcher
-
Helper method to check that the last match attempt was valid.
- matchStart - Variable in class dk.brics.automaton.AutomatonMatcher
- max - Variable in class dk.brics.automaton.RegExp
- max - Variable in class dk.brics.automaton.Transition
- maxInteger(String, int, StringBuilder) - Static method in class dk.brics.automaton.BasicAutomata
- min - Variable in class dk.brics.automaton.RegExp
- min - Variable in class dk.brics.automaton.ShuffleOperations.ShuffleConfiguration
- min - Variable in class dk.brics.automaton.Transition
- minimization - Static variable in class dk.brics.automaton.Automaton
-
Selects minimization algorithm (default:
MINIMIZE_HOPCROFT
). - MinimizationOperations - Class in dk.brics.automaton
-
Operations for minimizing automata.
- MinimizationOperations() - Constructor for class dk.brics.automaton.MinimizationOperations
- MinimizationOperations.IntPair - Class in dk.brics.automaton
- MinimizationOperations.LabelComparator - Class in dk.brics.automaton
- MinimizationOperations.Partition - Class in dk.brics.automaton
- MinimizationOperations.StateList - Class in dk.brics.automaton
- MinimizationOperations.StateListNode - Class in dk.brics.automaton
- 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_always - Static variable in class dk.brics.automaton.Automaton
-
Minimize always flag.
- 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.
- minInteger(String, int, StringBuilder) - Static method in class dk.brics.automaton.BasicAutomata
- 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 ofa2
. - more() - Method in class dk.brics.automaton.RegExp
N
- n1 - Variable in class dk.brics.automaton.MinimizationOperations.IntPair
- n2 - Variable in class dk.brics.automaton.MinimizationOperations.IntPair
- newMatcher(CharSequence) - Method in class dk.brics.automaton.RunAutomaton
-
Creates a new automaton matcher for the given input.
- newMatcher(CharSequence, int, int) - Method in class dk.brics.automaton.RunAutomaton
-
Creates a new automaton matcher for the given input.
- newState(char) - Method in class dk.brics.automaton.StringUnionOperations.State
-
Create a new outgoing transition labeled
label
and return the newly created target state for this transition. - next - Variable in class dk.brics.automaton.MinimizationOperations.StateListNode
- next() - Method in class dk.brics.automaton.RegExp
- next_id - Static variable in class dk.brics.automaton.State
- NO_LABELS - Static variable in class dk.brics.automaton.StringUnionOperations.State
-
An empty set of labels.
- NO_STATES - Static variable in class dk.brics.automaton.StringUnionOperations.State
-
An empty set of states.
- NONE - Static variable in class dk.brics.automaton.RegExp
-
Syntax flag, enables no optional regexp syntax.
- number - Variable in class dk.brics.automaton.State
O
- onlyZero(int) - Static method in class dk.brics.automaton.AutomatonMatcher
-
Helper method that requires the group argument to be 0.
- optional() - Method in class dk.brics.automaton.Automaton
- optional(Automaton) - Static method in class dk.brics.automaton.BasicOperations
-
Returns an automaton that accepts the union of the empty string and the language of the given automaton.
- overlap(Automaton) - Method in class dk.brics.automaton.Automaton
- overlap(Automaton, Automaton) - Static method in class dk.brics.automaton.SpecialOperations
-
Returns an automaton that accepts the overlap of strings that in more than one way can be split into a left part being accepted by
a1
and a right part being accepted bya2
.
P
- parseCharClass() - Method in class dk.brics.automaton.RegExp
- parseCharClasses() - Method in class dk.brics.automaton.RegExp
- parseCharClassExp() - Method in class dk.brics.automaton.RegExp
- parseCharExp() - Method in class dk.brics.automaton.RegExp
- parseComplExp() - Method in class dk.brics.automaton.RegExp
- parseConcatExp() - Method in class dk.brics.automaton.RegExp
- parseInterExp() - Method in class dk.brics.automaton.RegExp
- parseRepeatExp() - Method in class dk.brics.automaton.RegExp
- parseSimpleExp() - Method in class dk.brics.automaton.RegExp
- parseUnionExp() - Method in class dk.brics.automaton.RegExp
- Partition(int) - Constructor for class dk.brics.automaton.MinimizationOperations.Partition
- past - Variable in class dk.brics.automaton.MinimizationOperations.Partition
- peek(String) - Method in class dk.brics.automaton.RegExp
- points - Variable in class dk.brics.automaton.RunAutomaton
- pos - Variable in class dk.brics.automaton.RegExp
- prefixClose() - Method in class dk.brics.automaton.Automaton
- prefixClose(Automaton) - Static method in class dk.brics.automaton.SpecialOperations
-
Prefix closes the given automaton.
- prev - Variable in class dk.brics.automaton.MinimizationOperations.StateListNode
- prev - Variable in class dk.brics.automaton.ShuffleOperations.ShuffleConfiguration
- previous - Variable in class dk.brics.automaton.StringUnionOperations
-
Previous sequence added to the automaton in
StringUnionOperations.add(CharSequence)
. - projectChars(Automaton, Set<Character>) - Static method in class dk.brics.automaton.SpecialOperations
-
Returns an automaton with projected alphabet.
- projectChars(Set<Character>) - Method in class dk.brics.automaton.Automaton
- put(Map<String, Automaton>, String, Automaton) - Static method in class dk.brics.automaton.Datatypes
- putFrom(String, Map<String, Automaton>) - Static method in class dk.brics.automaton.Datatypes
- putWith(String[], Map<String, Automaton>) - Static method in class dk.brics.automaton.Datatypes
Q
- q - Variable in class dk.brics.automaton.MinimizationOperations.StateListNode
R
- recomputeHashCode() - Method in class dk.brics.automaton.Automaton
-
Recomputes the hash code.
- reduce() - Method in class dk.brics.automaton.Automaton
-
Reduces this automaton.
- referenceEquals(Object[], Object[]) - Static method in class dk.brics.automaton.StringUnionOperations.State
-
Compare two lists of objects for reference-equality.
- RegExp - Class in dk.brics.automaton
-
Regular Expression extension to
Automaton
. - RegExp() - Constructor for class dk.brics.automaton.RegExp
- 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. - REGEXP_ANYCHAR - dk.brics.automaton.RegExp.Kind
- REGEXP_ANYSTRING - dk.brics.automaton.RegExp.Kind
- REGEXP_AUTOMATON - dk.brics.automaton.RegExp.Kind
- REGEXP_CHAR - dk.brics.automaton.RegExp.Kind
- REGEXP_CHAR_RANGE - dk.brics.automaton.RegExp.Kind
- REGEXP_COMPLEMENT - dk.brics.automaton.RegExp.Kind
- REGEXP_CONCATENATION - dk.brics.automaton.RegExp.Kind
- REGEXP_EMPTY - dk.brics.automaton.RegExp.Kind
- REGEXP_INTERSECTION - dk.brics.automaton.RegExp.Kind
- REGEXP_INTERVAL - dk.brics.automaton.RegExp.Kind
- REGEXP_OPTIONAL - dk.brics.automaton.RegExp.Kind
- REGEXP_REPEAT - dk.brics.automaton.RegExp.Kind
- REGEXP_REPEAT_MIN - dk.brics.automaton.RegExp.Kind
- REGEXP_REPEAT_MINMAX - dk.brics.automaton.RegExp.Kind
- REGEXP_STRING - dk.brics.automaton.RegExp.Kind
- REGEXP_UNION - dk.brics.automaton.RegExp.Kind
- RegExp.Kind - Enum in dk.brics.automaton
- register - Variable in class dk.brics.automaton.StringUnionOperations
-
"register" for state interning.
- remove() - Method in class dk.brics.automaton.MinimizationOperations.StateListNode
- removeDeadTransitions() - Method in class dk.brics.automaton.Automaton
-
Removes transitions to dead states and calls
reduce()
andclearHashCode()
. - 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
andmax
(including both) concatenated repetitions of the language of the given automaton. - replaceLastChild(StringUnionOperations.State) - Method in class dk.brics.automaton.StringUnionOperations.State
-
Replace the last added outgoing transition's target state with the given state.
- replaceOrRegister(StringUnionOperations.State) - Method in class dk.brics.automaton.StringUnionOperations
-
Replace last child of
state
with an already registered state or register the last child state. - 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.
- resetTransitions() - Method in class dk.brics.automaton.State
-
Resets transition set.
- 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.
- root - Variable in class dk.brics.automaton.StringUnionOperations
-
Root automaton state.
- 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.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() - Constructor for class dk.brics.automaton.RunAutomaton
- RunAutomaton(Automaton) - Constructor for class dk.brics.automaton.RunAutomaton
-
Constructs a new
RunAutomaton
from a deterministicAutomaton
. - RunAutomaton(Automaton, boolean) - Constructor for class dk.brics.automaton.RunAutomaton
-
Constructs a new
RunAutomaton
from a deterministicAutomaton
.
S
- s - Variable in class dk.brics.automaton.RegExp
- s - Variable in class dk.brics.automaton.StatePair
- s1 - Variable in class dk.brics.automaton.StatePair
- s2 - Variable in class dk.brics.automaton.StatePair
- serialVersionUID - Static variable in class dk.brics.automaton.Automaton
- serialVersionUID - Static variable in class dk.brics.automaton.RunAutomaton
- serialVersionUID - Static variable in class dk.brics.automaton.State
- serialVersionUID - Static variable in class dk.brics.automaton.Transition
- serialVersionUID - Static variable in class dk.brics.automaton.TransitionComparator
- 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.
- setAlphabet() - Method in class dk.brics.automaton.RunAutomaton
-
Sets alphabet table for optimal run performance.
- setCount - Variable in class dk.brics.automaton.MinimizationOperations.Partition
- 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.
- setMatch(int, int) - Method in class dk.brics.automaton.AutomatonMatcher
- 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.
- setNo - Variable in class dk.brics.automaton.MinimizationOperations.Partition
- setPrevious(CharSequence) - Method in class dk.brics.automaton.StringUnionOperations
-
Copy
current
into an internal buffer. - setStateNumbers(Set<State>) - Static method in class dk.brics.automaton.Automaton
-
Assigns consecutive numbers to the given states.
- 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.
- shuffle_suspended - Variable in class dk.brics.automaton.ShuffleOperations.ShuffleConfiguration
- ShuffleConfiguration() - Constructor for class dk.brics.automaton.ShuffleOperations.ShuffleConfiguration
- ShuffleConfiguration(ShuffleOperations.ShuffleConfiguration, int, State, char) - Constructor for class dk.brics.automaton.ShuffleOperations.ShuffleConfiguration
- ShuffleConfiguration(ShuffleOperations.ShuffleConfiguration, int, State, State, char) - Constructor for class dk.brics.automaton.ShuffleOperations.ShuffleConfiguration
- ShuffleConfiguration(Collection<Automaton>, Automaton) - Constructor for class dk.brics.automaton.ShuffleOperations.ShuffleConfiguration
- ShuffleOperations - Class in dk.brics.automaton
-
Automata operations involving shuffling.
- ShuffleOperations() - Constructor for class dk.brics.automaton.ShuffleOperations
- ShuffleOperations.ShuffleConfiguration - Class in dk.brics.automaton
- 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 bya
. - 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.
- singleton - Variable in class dk.brics.automaton.Automaton
-
Singleton string.
- size - Variable in class dk.brics.automaton.MinimizationOperations.StateList
- size - Variable in class dk.brics.automaton.RunAutomaton
- sl - Variable in class dk.brics.automaton.MinimizationOperations.StateListNode
- SpecialOperations - Class in dk.brics.automaton
-
Special automata operations.
- SpecialOperations() - Constructor for class dk.brics.automaton.SpecialOperations
- split() - Method in class dk.brics.automaton.MinimizationOperations.Partition
- splitTransitions(Set<State>) - Static method in class dk.brics.automaton.MinimizationOperations
- 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.
- State() - Constructor for class dk.brics.automaton.StringUnionOperations.State
- StateList() - Constructor for class dk.brics.automaton.MinimizationOperations.StateList
- StateListNode(State, MinimizationOperations.StateList) - Constructor for class dk.brics.automaton.MinimizationOperations.StateListNode
- StatePair - Class in dk.brics.automaton
-
Pair of states.
- StatePair(State, State) - Constructor for class dk.brics.automaton.StatePair
-
Constructs a new state pair.
- StatePair(State, State, State) - Constructor for class dk.brics.automaton.StatePair
- states - Variable in class dk.brics.automaton.StringUnionOperations.State
-
States reachable from outgoing transitions.
- statesAgree(Transition[][], boolean[][], int, int) - Static method in class dk.brics.automaton.MinimizationOperations
- 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.
- step(int, char) - Method in class dk.brics.automaton.RunAutomaton
-
Returns the state obtained by reading the given char from the given state.
- 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. - store(String, Automaton) - Static method in class dk.brics.automaton.Datatypes
- StringUnionOperations - Class in dk.brics.automaton
-
Operations for building minimal deterministic automata from sets of strings.
- StringUnionOperations() - Constructor for class dk.brics.automaton.StringUnionOperations
- StringUnionOperations.State - Class in dk.brics.automaton
-
State with
char
labels on transitions. - 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 ofa2
. - subst(char, String) - Method in class dk.brics.automaton.Automaton
- 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.
- 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(Map<Character, Set<Character>>) - Method in class dk.brics.automaton.Automaton
- surrogate - Variable in class dk.brics.automaton.ShuffleOperations.ShuffleConfiguration
- suspended1 - Variable in class dk.brics.automaton.ShuffleOperations.ShuffleConfiguration
T
- to - Variable in class dk.brics.automaton.RegExp
- to - Variable in class dk.brics.automaton.Transition
- to_first - Variable in class dk.brics.automaton.TransitionComparator
- toAutomaton() - Method in class dk.brics.automaton.RegExp
-
Constructs new
Automaton
from thisRegExp
. - toAutomaton(boolean) - Method in class dk.brics.automaton.RegExp
-
Constructs new
Automaton
from thisRegExp
. - toAutomaton(AutomatonProvider) - Method in class dk.brics.automaton.RegExp
-
Constructs new
Automaton
from thisRegExp
. - toAutomaton(AutomatonProvider, boolean) - Method in class dk.brics.automaton.RegExp
-
Constructs new
Automaton
from thisRegExp
. - toAutomaton(Map<String, Automaton>) - Method in class dk.brics.automaton.RegExp
-
Constructs new
Automaton
from thisRegExp
. - toAutomaton(Map<String, Automaton>, boolean) - Method in class dk.brics.automaton.RegExp
-
Constructs new
Automaton
from thisRegExp
. - toAutomaton(Map<String, Automaton>, AutomatonProvider, boolean) - Method in class dk.brics.automaton.RegExp
- toAutomatonAllowMutate(Map<String, Automaton>, AutomatonProvider, boolean) - Method in class dk.brics.automaton.RegExp
- toDot() - Method in class dk.brics.automaton.Automaton
-
Returns Graphviz Dot representation of this automaton.
- toMatchResult() - Method in class dk.brics.automaton.AutomatonMatcher
-
Returns the current state of this
AutomatonMatcher
as aMatchResult
. - 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.
- toStringBuilder(StringBuilder) - Method in class dk.brics.automaton.RegExp
- totalize() - Method in class dk.brics.automaton.Automaton
-
Adds transitions to explicit crash state to ensure that transition function is total.
- touchedSetCount - Variable in class dk.brics.automaton.MinimizationOperations.Partition
- touchedSets - Variable in class dk.brics.automaton.MinimizationOperations.Partition
- Transition - Class in dk.brics.automaton
-
Automaton
transition. - Transition(char, char, State) - Constructor for class dk.brics.automaton.Transition
-
Constructs a new transition.
- Transition(char, State) - Constructor for class dk.brics.automaton.Transition
-
Constructs a new singleton interval transition.
- TransitionComparator - Class in dk.brics.automaton
- TransitionComparator(boolean) - Constructor for class dk.brics.automaton.TransitionComparator
- transitions - Variable in class dk.brics.automaton.RunAutomaton
- transitions - Variable in class dk.brics.automaton.State
- trim(Automaton, String, char) - Static method in class dk.brics.automaton.SpecialOperations
-
Returns an automaton that accepts the trimmed language of the given automaton.
- trim(String, char) - Method in class dk.brics.automaton.Automaton
U
- unicodeblock_names - Static variable in class dk.brics.automaton.Datatypes
- unicodeblock_names_array - Static variable in class dk.brics.automaton.Datatypes
- unicodecategory_names - Static variable in class dk.brics.automaton.Datatypes
- unicodecategory_names_array - Static variable in class dk.brics.automaton.Datatypes
- union(Automaton) - Method in class dk.brics.automaton.Automaton
- union(Automaton, Automaton) - Static method in class dk.brics.automaton.BasicOperations
-
Returns an automaton that accepts the union of the languages of the given automata.
- union(Collection<Automaton>) - Static method in class dk.brics.automaton.Automaton
- union(Collection<Automaton>) - Static method in class dk.brics.automaton.BasicOperations
-
Returns an automaton that accepts the union of the languages of the given automata.
V
- valueOf(String) - Static method in enum dk.brics.automaton.RegExp.Kind
-
Returns the enum constant of this type with the specified name.
- values() - Static method in enum dk.brics.automaton.RegExp.Kind
-
Returns an array containing the constants of this enum type, in the order they are declared.
W
X
- xml_names - Static variable in class dk.brics.automaton.Datatypes
- xml_names_array - Static variable in class dk.brics.automaton.Datatypes
All Classes All Packages