A B C D E F G H I L M N O P R S T U 
All Classes All Packages

A

add(CharSequence) - Method in class dk.brics.automaton.StringUnionOperations
Add another character sequence to this automaton.
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
addTransition(Transition) - Method in class dk.brics.automaton.State
Adds an outgoing transition.
ALL - Static variable in class dk.brics.automaton.RegExp
Syntax flag, enables all optional regexp syntax.
ANYSTRING - Static variable in class dk.brics.automaton.RegExp
Syntax flag, enables anystring (@).
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.
AutomatonProvider - Interface in dk.brics.automaton
Automaton provider for RegExp.RegExp.toAutomaton(AutomatonProvider)

B

BasicAutomata - Class in dk.brics.automaton
Construction of basic automata.
BasicOperations - Class in dk.brics.automaton
Basic automata operations.
build(CharSequence[]) - Static method in class dk.brics.automaton.StringUnionOperations
Build a minimal, deterministic automaton from a sorted list of strings.

C

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

D

Datatypes - Class in dk.brics.automaton
Basic automata for representing common datatypes related to Unicode, XML, and XML Schema.
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)
determinize() - Method in class dk.brics.automaton.Automaton
determinize(Automaton) - Static method in class dk.brics.automaton.BasicOperations
Determinizes the given automaton.
dk.brics.automaton - package dk.brics.automaton
Finite-state automaton for regular expressions.

E

EMPTY - Static variable in class dk.brics.automaton.RegExp
Syntax flag, enables empty language (#).
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.State
equals(Object) - Method in class dk.brics.automaton.StatePair
Checks for equality.
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.
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.

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.
getAutomaton(String) - Method in interface dk.brics.automaton.AutomatonProvider
Returns automaton of the given name.
getAutomaton(String) - Method in class dk.brics.automaton.DatatypesAutomatonProvider
 
getCharIntervals() - Method in class dk.brics.automaton.RunAutomaton
Returns array of character class interval start points.
getCommonPrefix() - Method in class dk.brics.automaton.Automaton
getCommonPrefix(Automaton) - Static method in class dk.brics.automaton.SpecialOperations
Returns the longest string that is a prefix of all accepted strings and visits each state at most once.
getDest() - Method in class dk.brics.automaton.Transition
Returns destination of this transition.
getFiniteStrings() - Method in class dk.brics.automaton.Automaton
getFiniteStrings(int) - Method in class dk.brics.automaton.Automaton
getFiniteStrings(Automaton) - Static method in class dk.brics.automaton.SpecialOperations
Returns the set of accepted strings, assuming this automaton has a finite language.
getFiniteStrings(Automaton, int) - Static method in class dk.brics.automaton.SpecialOperations
Returns the set of accepted strings, assuming that at most limit strings are accepted.
getFirstState() - Method in class dk.brics.automaton.StatePair
Returns first component of this pair.
getIdentifiers() - Method in class dk.brics.automaton.RegExp
Returns set of automaton identifiers that occur in this regular expression.
getInfo() - Method in class dk.brics.automaton.Automaton
Returns extra information associated with this automaton.
getInitialState() - Method in class dk.brics.automaton.Automaton
Gets initial state.
getInitialState() - Method in class dk.brics.automaton.RunAutomaton
Returns initial state.
getLiveStates() - Method in class dk.brics.automaton.Automaton
Returns the set of live states.
getMax() - Method in class dk.brics.automaton.Transition
Returns maximum of this transition interval.
getMin() - Method in class dk.brics.automaton.Transition
Returns minimum of this transition interval.
getNumberOfStates() - Method in class dk.brics.automaton.Automaton
Returns the number of states in this automaton.
getNumberOfTransitions() - Method in class dk.brics.automaton.Automaton
Returns the number of transitions in this automaton.
getSecondState() - Method in class dk.brics.automaton.StatePair
Returns second component of this pair.
getShortestExample(boolean) - Method in class dk.brics.automaton.Automaton
getShortestExample(Automaton, boolean) - Static method in class dk.brics.automaton.BasicOperations
Returns a shortest accepted/rejected string.
getSingleton() - Method in class dk.brics.automaton.Automaton
Returns the singleton string for this automaton.
getSize() - Method in class dk.brics.automaton.RunAutomaton
Returns number of states in automaton.
getSortedTransitions(boolean) - Method in class dk.brics.automaton.State
Returns sorted list of outgoing transitions.
getStates() - Method in class dk.brics.automaton.Automaton
Returns the set of states that are reachable from the initial state.
getStrings(int) - Method in class dk.brics.automaton.Automaton
getStrings(Automaton, int) - Static method in class dk.brics.automaton.SpecialOperations
Returns the set of accepted strings of the given length.
getTransitions() - Method in class dk.brics.automaton.State
Returns the set of outgoing transitions.
group() - Method in class dk.brics.automaton.AutomatonMatcher
Returns the subsequence of the input found by the previous match.
group(int) - Method in class dk.brics.automaton.AutomatonMatcher
Returns the subsequence of the input found by the specified capturing group during the previous match operation.
groupCount() - Method in class dk.brics.automaton.AutomatonMatcher
Returns the number of capturing groups in the underlying automaton.

H

hashCode() - Method in class dk.brics.automaton.Automaton
Returns hash code for this automaton.
hashCode() - Method in class dk.brics.automaton.State
hashCode() - Method in class dk.brics.automaton.StatePair
Returns hash code.
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

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>).
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.
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.
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.
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)).

L

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(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.

M

main(String[]) - Static method in class dk.brics.automaton.Datatypes
Invoke during compilation to pre-build automata.
makeAnyChar() - Static method in class dk.brics.automaton.Automaton
makeAnyChar() - Static method in class dk.brics.automaton.BasicAutomata
Returns a new (deterministic) automaton that accepts any single character.
makeAnyString() - Static method in class dk.brics.automaton.Automaton
makeAnyString() - Static method in class dk.brics.automaton.BasicAutomata
Returns a new (deterministic) automaton that accepts all strings.
makeChar(char) - Static method in class dk.brics.automaton.Automaton
makeChar(char) - Static method in class dk.brics.automaton.BasicAutomata
Returns a new (deterministic) automaton that accepts a single character of the given value.
makeCharRange(char, char) - Static method in class dk.brics.automaton.Automaton
makeCharRange(char, char) - Static method in class dk.brics.automaton.BasicAutomata
Returns a new (deterministic) automaton that accepts a single char whose value is in the given interval (including both end points).
makeCharSet(String) - Static method in class dk.brics.automaton.Automaton
makeCharSet(String) - Static method in class dk.brics.automaton.BasicAutomata
Returns a new (deterministic) automaton that accepts a single character in the given set.
makeDecimalValue(String) - Static method in class dk.brics.automaton.Automaton
makeDecimalValue(String) - Static method in class dk.brics.automaton.BasicAutomata
Constructs automaton that accept strings representing the given decimal number.
makeEmpty() - Static method in class dk.brics.automaton.Automaton
makeEmpty() - Static method in class dk.brics.automaton.BasicAutomata
Returns a new (deterministic) automaton with the empty language.
makeEmptyString() - Static method in class dk.brics.automaton.Automaton
makeEmptyString() - Static method in class dk.brics.automaton.BasicAutomata
Returns a new (deterministic) automaton that accepts only the empty string.
makeFractionDigits(int) - Static method in class dk.brics.automaton.Automaton
makeFractionDigits(int) - Static method in class dk.brics.automaton.BasicAutomata
Constructs automaton that accept strings representing decimal numbers that can be written with at most the given number of digits in the fraction part.
makeIntegerValue(String) - Static method in class dk.brics.automaton.Automaton
makeIntegerValue(String) - Static method in class dk.brics.automaton.BasicAutomata
Constructs automaton that accept strings representing the given integer.
makeInterval(int, int, int) - Static method in class dk.brics.automaton.Automaton
makeInterval(int, int, int) - Static method in class dk.brics.automaton.BasicAutomata
Returns a new automaton that accepts strings representing decimal non-negative integers in the given interval.
makeMaxInteger(String) - Static method in class dk.brics.automaton.Automaton
makeMaxInteger(String) - Static method in class dk.brics.automaton.BasicAutomata
Constructs automaton that accept strings representing nonnegative integers that are not larger than the given value.
makeMinInteger(String) - Static method in class dk.brics.automaton.Automaton
makeMinInteger(String) - Static method in class dk.brics.automaton.BasicAutomata
Constructs automaton that accept strings representing nonnegative integers that are not less that the given value.
makeString(String) - Static method in class dk.brics.automaton.Automaton
makeString(String) - Static method in class dk.brics.automaton.BasicAutomata
Returns a new (deterministic) automaton that accepts the single given string.
makeStringMatcher(String) - Static method in class dk.brics.automaton.Automaton
makeStringMatcher(String) - Static method in class dk.brics.automaton.BasicAutomata
Constructs deterministic automaton that matches strings that contain the given substring.
makeStringUnion(CharSequence...) - Static method in class dk.brics.automaton.Automaton
makeStringUnion(CharSequence...) - Static method in class dk.brics.automaton.BasicAutomata
Returns a new (deterministic and minimal) automaton that accepts the union of the given set of strings.
makeTotalDigits(int) - Static method in class dk.brics.automaton.Automaton
makeTotalDigits(int) - Static method in class dk.brics.automaton.BasicAutomata
Constructs automaton that accept strings representing decimal numbers that can be written with at most the given number of digits.
MinimizationOperations - Class in dk.brics.automaton
Operations for minimizing automata.
minimize() - Method in class dk.brics.automaton.Automaton
minimize(Automaton) - Static method in class dk.brics.automaton.Automaton
minimize(Automaton) - Static method in class dk.brics.automaton.MinimizationOperations
Minimizes (and determinizes if not already deterministic) the given automaton.
MINIMIZE_BRZOZOWSKI - Static variable in class dk.brics.automaton.Automaton
Minimize using Brzozowski's O(2n) algorithm.
MINIMIZE_HOPCROFT - Static variable in class dk.brics.automaton.Automaton
Minimize using Hopcroft's O(n log n) algorithm.
MINIMIZE_HUFFMAN - Static variable in class dk.brics.automaton.Automaton
Minimize using Huffman's O(n2) algorithm.
MINIMIZE_VALMARI - Static variable in class dk.brics.automaton.Automaton
Minimize using Valmari's O(n + m log m) algorithm.
minimizeBrzozowski(Automaton) - Static method in class dk.brics.automaton.MinimizationOperations
Minimizes the given automaton using Brzozowski's algorithm.
minimizeHopcroft(Automaton) - Static method in class dk.brics.automaton.MinimizationOperations
Minimizes the given automaton using Hopcroft's algorithm.
minimizeHuffman(Automaton) - Static method in class dk.brics.automaton.MinimizationOperations
Minimizes the given automaton using Huffman's algorithm.
minimizeValmari(Automaton) - Static method in class dk.brics.automaton.MinimizationOperations
Minimizes the given automaton using Valmari's algorithm.
minus(Automaton) - Method in class dk.brics.automaton.Automaton
minus(Automaton, Automaton) - Static method in class dk.brics.automaton.BasicOperations
Returns a (deterministic) automaton that accepts the intersection of the language of a1 and the complement of the language of a2.

N

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.
NONE - Static variable in class dk.brics.automaton.RegExp
Syntax flag, enables no optional regexp syntax.

O

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

prefixClose() - Method in class dk.brics.automaton.Automaton
prefixClose(Automaton) - Static method in class dk.brics.automaton.SpecialOperations
Prefix closes the given automaton.
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

R

reduce() - Method in class dk.brics.automaton.Automaton
Reduces this automaton.
RegExp - Class in dk.brics.automaton
Regular Expression extension to Automaton.
RegExp(String) - Constructor for class dk.brics.automaton.RegExp
Constructs new RegExp from a string.
RegExp(String, int) - Constructor for class dk.brics.automaton.RegExp
Constructs new RegExp from a string.
removeDeadTransitions() - Method in class dk.brics.automaton.Automaton
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.
replaceWhitespace(Automaton) - Static method in class dk.brics.automaton.Automaton
replaceWhitespace(Automaton) - Static method in class dk.brics.automaton.SpecialOperations
Constructs automaton that accepts 0x20, 0x9, 0xa, and 0xd in place of each 0x20 transition in the given automaton.
restoreInvariant() - Method in class dk.brics.automaton.Automaton
Restores representation invariant.
reverse(Automaton) - Static method in class dk.brics.automaton.SpecialOperations
Reverses the language of the given (non-singleton) automaton while returning the set of new initial states.
run(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(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

setAccept(boolean) - Method in class dk.brics.automaton.State
Sets acceptance for this state.
setAllowMutate(boolean) - Static method in class dk.brics.automaton.Automaton
Sets or resets allow mutate flag.
setAllowMutate(boolean) - Method in class dk.brics.automaton.RegExp
Sets or resets allow mutate flag.
setDeterministic(boolean) - Method in class dk.brics.automaton.Automaton
Sets deterministic flag for this automaton.
setInfo(Object) - Method in class dk.brics.automaton.Automaton
Associates extra information with this automaton.
setInitialState(State) - Method in class dk.brics.automaton.Automaton
Sets initial state.
setMinimization(int) - Static method in class dk.brics.automaton.Automaton
Selects minimization algorithm (default: MINIMIZE_HOPCROFT).
setMinimizeAlways(boolean) - Static method in class dk.brics.automaton.Automaton
Sets or resets minimize always flag.
shuffle(Automaton) - Method in class dk.brics.automaton.Automaton
shuffle(Automaton, Automaton) - Static method in class dk.brics.automaton.ShuffleOperations
Returns an automaton that accepts the shuffle (interleaving) of the languages of the given automata.
ShuffleOperations - Class in dk.brics.automaton
Automata operations involving shuffling.
shuffleSubsetOf(Collection<Automaton>, Automaton, Character, Character) - Static method in class dk.brics.automaton.Automaton
shuffleSubsetOf(Collection<Automaton>, Automaton, Character, Character) - Static method in class dk.brics.automaton.ShuffleOperations
Returns a string that is an interleaving of strings that are accepted by ca but not by a.
singleChars() - Method in class dk.brics.automaton.Automaton
singleChars(Automaton) - Static method in class dk.brics.automaton.SpecialOperations
Returns an automaton that accepts the single chars that occur in strings that are accepted by the given automaton.
SpecialOperations - Class in dk.brics.automaton
Special automata operations.
start() - Method in class dk.brics.automaton.AutomatonMatcher
Returns the offset of the first character matched.
start(int) - Method in class dk.brics.automaton.AutomatonMatcher
Returns the offset of the first character matched of the specified capturing group.
State - Class in dk.brics.automaton
Automaton state.
State() - Constructor for class dk.brics.automaton.State
Constructs a new state.
StatePair - Class in dk.brics.automaton
Pair of states.
StatePair(State, State) - Constructor for class dk.brics.automaton.StatePair
Constructs a new state pair.
step(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.
StringUnionOperations - Class in dk.brics.automaton
Operations for building minimal deterministic automata from sets of strings.
StringUnionOperations() - Constructor for class dk.brics.automaton.StringUnionOperations
 
subsetOf(Automaton) - Method in class dk.brics.automaton.Automaton
subsetOf(Automaton, Automaton) - Static method in class dk.brics.automaton.BasicOperations
Returns true if the language of a1 is a subset of the language of a2.
subst(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

T

toAutomaton() - Method in class dk.brics.automaton.RegExp
Constructs new Automaton from this RegExp.
toAutomaton(boolean) - Method in class dk.brics.automaton.RegExp
Constructs new Automaton from this RegExp.
toAutomaton(AutomatonProvider) - Method in class dk.brics.automaton.RegExp
Constructs new Automaton from this RegExp.
toAutomaton(AutomatonProvider, boolean) - Method in class dk.brics.automaton.RegExp
Constructs new Automaton from this RegExp.
toAutomaton(Map<String, Automaton>) - Method in class dk.brics.automaton.RegExp
Constructs new Automaton from this RegExp.
toAutomaton(Map<String, Automaton>, boolean) - Method in class dk.brics.automaton.RegExp
Constructs new Automaton from this RegExp.
toDot() - Method in class dk.brics.automaton.Automaton
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.
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.
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

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.
A B C D E F G H I L M N O P R S T U 
All Classes All Packages