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

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 at fromIndex (inclusive) to state state.
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 of a2.
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 by a2.

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 Automaton.reduce() and Automaton.clearHashCode().
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.
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 deterministic Automaton.
RunAutomaton(Automaton, boolean) - Constructor for class dk.brics.automaton.RunAutomaton
Constructs a new RunAutomaton from a deterministic Automaton.

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 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.
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 of a2.
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 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.
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 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.
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

ws - Static variable in class dk.brics.automaton.Datatypes
 

X

xml_names - Static variable in class dk.brics.automaton.Datatypes
 
xml_names_array - Static variable in class dk.brics.automaton.Datatypes
 
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