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

A

add(CharSequence) - Method in class dk.brics.automaton.StringUnionOperations

Add another character sequence to this automaton.

addEpsilons(Collection<StatePair>) - Method in class dk.brics.automaton.Automaton

See BasicOperations.addEpsilons(Automaton, Collection).

addEpsilons(Automaton, Collection<StatePair>) - Static method in class dk.brics.automaton.BasicOperations

Adds epsilon transitions to the given 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

See BasicOperations.complement(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(String, char) - Method in class dk.brics.automaton.Automaton

See SpecialOperations.compress(Automaton, String, char).

compress(Automaton, String, char) - Static method in class dk.brics.automaton.SpecialOperations

Returns an automaton that accepts the compressed language of the given automaton.

concatenate(Automaton) - Method in class dk.brics.automaton.Automaton

See BasicOperations.concatenate(Automaton, Automaton).

concatenate(List<Automaton>) - Static method in class dk.brics.automaton.Automaton

See BasicOperations.concatenate(List).

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

See BasicOperations.determinize(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

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

See SpecialOperations.getCommonPrefix(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

See SpecialOperations.getFiniteStrings(Automaton).

getFiniteStrings(int) - Method in class dk.brics.automaton.Automaton

See SpecialOperations.getFiniteStrings(Automaton, int).

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

See BasicOperations.getShortestExample(Automaton, boolean).

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

See SpecialOperations.getStrings(Automaton, int).

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

See Object.hashCode().

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

See SpecialOperations.hexCases(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

See SpecialOperations.homomorph(Automaton, char[], char[]).

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

See BasicOperations.intersection(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(int) - Method in class dk.brics.automaton.RunAutomaton

Returns acceptance status for given state.

isAccept() - Method in class dk.brics.automaton.State

Returns acceptance status.

isDeterministic() - Method in class dk.brics.automaton.Automaton

Returns deterministic flag for this automaton.

isEmpty() - Method in class dk.brics.automaton.Automaton

See BasicOperations.isEmpty(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

See BasicOperations.isEmptyString(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

See SpecialOperations.isFinite(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

See BasicOperations.isTotal(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(URL) - Static method in class dk.brics.automaton.Automaton

Retrieves a serialized Automaton located by a URL.

load(InputStream) - Static method in class dk.brics.automaton.Automaton

Retrieves a serialized Automaton from a stream.

load(URL) - Static method in class dk.brics.automaton.RunAutomaton

Retrieves a serialized RunAutomaton located by a URL.

load(InputStream) - Static method in class dk.brics.automaton.RunAutomaton

Retrieves a serialized RunAutomaton from a stream.

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

See BasicAutomata.makeAnyChar().

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

See BasicAutomata.makeAnyString().

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

See BasicAutomata.makeChar(char).

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

See BasicAutomata.makeCharRange(char, char).

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

See BasicAutomata.makeCharSet(String).

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

See BasicAutomata.makeDecimalValue(String).

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

See BasicAutomata.makeEmpty().

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

See BasicAutomata.makeEmptyString().

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

See BasicAutomata.makeFractionDigits(int).

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

See BasicAutomata.makeIntegerValue(String).

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

See BasicAutomata.makeInterval(int, int, int).

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

See BasicAutomata.makeMaxInteger(String).

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

See BasicAutomata.makeMinInteger(String).

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

See BasicAutomata.makeString(String).

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

See BasicAutomata.makeStringMatcher(String).

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

See BasicAutomata.makeStringUnion(CharSequence...).

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

See BasicAutomata.makeTotalDigits(int).

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

See MinimizationOperations.minimize(Automaton).

minimize(Automaton) - Static method in class dk.brics.automaton.Automaton

See MinimizationOperations.minimize(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(2ⁿ) 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(n²) 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.

minus(Automaton) - Method in class dk.brics.automaton.Automaton

See BasicOperations.minus(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

See BasicOperations.optional(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

See SpecialOperations.overlap(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

See SpecialOperations.prefixClose(Automaton).

prefixClose(Automaton) - Static method in class dk.brics.automaton.SpecialOperations

Prefix closes the given automaton.

projectChars(Set<Character>) - Method in class dk.brics.automaton.Automaton

See SpecialOperations.projectChars(Automaton, Set).

projectChars(Automaton, Set<Character>) - Static method in class dk.brics.automaton.SpecialOperations

Returns an automaton with projected alphabet.

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

See BasicOperations.repeat(Automaton).

repeat(int) - Method in class dk.brics.automaton.Automaton

See BasicOperations.repeat(Automaton, int).

repeat(int, int) - Method in class dk.brics.automaton.Automaton

See BasicOperations.repeat(Automaton, int, int).

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

See SpecialOperations.replaceWhitespace(Automaton).

replaceWhitespace(Automaton) - Static method in class dk.brics.automaton.SpecialOperations

Constructs automaton that accepts 0x20, 0x9, 0xa, and 0xd in place of each 0x20 transition in the given automaton.

restoreInvariant() - Method in class dk.brics.automaton.Automaton

Restores representation invariant.

reverse(Automaton) - Static method in class dk.brics.automaton.SpecialOperations

Reverses the language of the given (non-singleton) automaton while returning the set of new initial states.

run(String) - Method in class dk.brics.automaton.Automaton

See BasicOperations.run(Automaton, String).

run(Automaton, String) - Static method in class dk.brics.automaton.BasicOperations

Returns true if the given string is accepted by the automaton.

run(String) - Method in class dk.brics.automaton.RunAutomaton

Returns true if the given string is accepted by this automaton.

run(String, int) - Method in class dk.brics.automaton.RunAutomaton

Returns the length of the longest accepted run of the given string starting at the given offset.

RunAutomaton - Class in dk.brics.automaton

Finite-state automaton with fast run operation.

RunAutomaton(Automaton) - Constructor for class dk.brics.automaton.RunAutomaton

Constructs a new RunAutomaton from a deterministic Automaton.

RunAutomaton(Automaton, boolean) - Constructor for class dk.brics.automaton.RunAutomaton

Constructs a new RunAutomaton from a deterministic Automaton.

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

See ShuffleOperations.shuffle(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

See ShuffleOperations.shuffleSubsetOf(Collection, Automaton, Character, Character).

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

See SpecialOperations.singleChars(Automaton).

singleChars(Automaton) - Static method in class dk.brics.automaton.SpecialOperations

Returns an automaton that accepts the single chars that occur in strings that are accepted by the given automaton.

SpecialOperations - Class in dk.brics.automaton

Special automata operations.

start() - Method in class dk.brics.automaton.AutomatonMatcher

Returns the offset of the first character matched.

start(int) - Method in class dk.brics.automaton.AutomatonMatcher

Returns the offset of the first character matched of the specified capturing group.

State - Class in dk.brics.automaton

Automaton state.

State() - Constructor for class dk.brics.automaton.State

Constructs a new state.

StatePair - Class in dk.brics.automaton

Pair of states.

StatePair(State, State) - Constructor for class dk.brics.automaton.StatePair

Constructs a new state pair.

step(int, char) - Method in class dk.brics.automaton.RunAutomaton

Returns the state obtained by reading the given char from the given state.

step(char) - Method in class dk.brics.automaton.State

Performs lookup in transitions, assuming determinism.

step(char, Collection<State>) - Method in class dk.brics.automaton.State

Performs lookup in transitions, allowing nondeterminism.

store(OutputStream) - Method in class dk.brics.automaton.Automaton

Writes this Automaton to the given stream.

store(OutputStream) - Method in class dk.brics.automaton.RunAutomaton

Writes this RunAutomaton to the given stream.

StringUnionOperations - Class in dk.brics.automaton

Operations for building minimal deterministic automata from sets of strings.

StringUnionOperations() - Constructor for class dk.brics.automaton.StringUnionOperations

subsetOf(Automaton) - Method in class dk.brics.automaton.Automaton

See BasicOperations.subsetOf(Automaton, Automaton).

subsetOf(Automaton, Automaton) - Static method in class dk.brics.automaton.BasicOperations

Returns true if the language of a1 is a subset of the language of a2.

subst(Map<Character, Set<Character>>) - Method in class dk.brics.automaton.Automaton

See SpecialOperations.subst(Automaton, Map).

subst(char, String) - Method in class dk.brics.automaton.Automaton

See SpecialOperations.subst(Automaton, char, 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(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.

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, State) - Constructor for class dk.brics.automaton.Transition

Constructs a new singleton interval transition.

Transition(char, char, State) - Constructor for class dk.brics.automaton.Transition

Constructs a new transition.

trim(String, char) - Method in class dk.brics.automaton.Automaton

See SpecialOperations.trim(Automaton, String, char).

trim(Automaton, String, char) - Static method in class dk.brics.automaton.SpecialOperations

Returns an automaton that accepts the trimmed language of the given automaton.

U

union(Automaton) - Method in class dk.brics.automaton.Automaton

See BasicOperations.union(Automaton, Automaton).

union(Collection<Automaton>) - Static method in class dk.brics.automaton.Automaton

See BasicOperations.union(Collection).

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