Automaton |
Automaton.clone() |
Returns a clone of this automaton.
|
Automaton |
Automaton.complement() |
|
static Automaton |
BasicOperations.complement(Automaton a) |
Returns a (deterministic) automaton that accepts the complement of the
language of the given automaton.
|
Automaton |
Automaton.compress(String set,
char c) |
|
static Automaton |
SpecialOperations.compress(Automaton a,
String set,
char c) |
Returns an automaton that accepts the compressed language of the given
automaton.
|
Automaton |
Automaton.concatenate(Automaton a) |
|
static Automaton |
Automaton.concatenate(List<Automaton> l) |
|
static Automaton |
BasicOperations.concatenate(Automaton a1,
Automaton a2) |
Returns an automaton that accepts the concatenation of the languages of
the given automata.
|
static Automaton |
BasicOperations.concatenate(List<Automaton> l) |
Returns an automaton that accepts the concatenation of the languages of
the given automata.
|
static Automaton |
Datatypes.get(String name) |
Returns pre-built automaton.
|
Automaton |
AutomatonProvider.getAutomaton(String name) |
Returns automaton of the given name.
|
Automaton |
DatatypesAutomatonProvider.getAutomaton(String name) |
|
static Automaton |
Automaton.hexCases(Automaton a) |
|
static Automaton |
SpecialOperations.hexCases(Automaton a) |
Constructs automaton that accepts the same strings as the given automaton
but ignores upper/lower case of A-F.
|
Automaton |
Automaton.homomorph(char[] source,
char[] dest) |
|
static Automaton |
SpecialOperations.homomorph(Automaton a,
char[] source,
char[] dest) |
Returns an automaton accepting the homomorphic image of the given automaton
using the given function.
|
Automaton |
Automaton.intersection(Automaton a) |
|
static Automaton |
BasicOperations.intersection(Automaton a1,
Automaton a2) |
Returns an automaton that accepts the intersection of
the languages of the given automata.
|
static Automaton |
Automaton.load(InputStream stream) |
Retrieves a serialized Automaton from a stream.
|
static Automaton |
Automaton.load(URL url) |
Retrieves a serialized Automaton located by a URL.
|
static Automaton |
Automaton.makeAnyChar() |
|
static Automaton |
BasicAutomata.makeAnyChar() |
Returns a new (deterministic) automaton that accepts any single character.
|
static Automaton |
Automaton.makeAnyString() |
|
static Automaton |
BasicAutomata.makeAnyString() |
Returns a new (deterministic) automaton that accepts all strings.
|
static Automaton |
Automaton.makeChar(char c) |
|
static Automaton |
BasicAutomata.makeChar(char c) |
Returns a new (deterministic) automaton that accepts a single character of the given value.
|
static Automaton |
Automaton.makeCharRange(char min,
char max) |
|
static Automaton |
BasicAutomata.makeCharRange(char min,
char max) |
Returns a new (deterministic) automaton that accepts a single char
whose value is in the given interval (including both end points).
|
static Automaton |
Automaton.makeCharSet(String set) |
|
static Automaton |
BasicAutomata.makeCharSet(String set) |
Returns a new (deterministic) automaton that accepts a single character in the given set.
|
static Automaton |
Automaton.makeDecimalValue(String value) |
|
static Automaton |
BasicAutomata.makeDecimalValue(String value) |
Constructs automaton that accept strings representing the given decimal number.
|
static Automaton |
Automaton.makeEmpty() |
|
static Automaton |
BasicAutomata.makeEmpty() |
Returns a new (deterministic) automaton with the empty language.
|
static Automaton |
Automaton.makeEmptyString() |
|
static Automaton |
BasicAutomata.makeEmptyString() |
Returns a new (deterministic) automaton that accepts only the empty string.
|
static Automaton |
Automaton.makeFractionDigits(int i) |
|
static Automaton |
BasicAutomata.makeFractionDigits(int i) |
Constructs automaton that accept strings representing decimal numbers
that can be written with at most the given number of digits in the fraction part.
|
static Automaton |
Automaton.makeIntegerValue(String value) |
|
static Automaton |
BasicAutomata.makeIntegerValue(String value) |
Constructs automaton that accept strings representing the given integer.
|
static Automaton |
Automaton.makeInterval(int min,
int max,
int digits) |
|
static Automaton |
BasicAutomata.makeInterval(int min,
int max,
int digits) |
Returns a new automaton that accepts strings representing
decimal non-negative integers in the given interval.
|
static Automaton |
Automaton.makeMaxInteger(String n) |
|
static Automaton |
BasicAutomata.makeMaxInteger(String n) |
Constructs automaton that accept strings representing nonnegative integers
that are not larger than the given value.
|
static Automaton |
Automaton.makeMinInteger(String n) |
|
static Automaton |
BasicAutomata.makeMinInteger(String n) |
Constructs automaton that accept strings representing nonnegative integers
that are not less that the given value.
|
static Automaton |
Automaton.makeString(String s) |
|
static Automaton |
BasicAutomata.makeString(String s) |
Returns a new (deterministic) automaton that accepts the single given string.
|
static Automaton |
Automaton.makeStringMatcher(String s) |
|
static Automaton |
BasicAutomata.makeStringMatcher(String s) |
Constructs deterministic automaton that matches strings that contain the given substring.
|
static Automaton |
Automaton.makeStringUnion(CharSequence... strings) |
|
static Automaton |
BasicAutomata.makeStringUnion(CharSequence... strings) |
Returns a new (deterministic and minimal) automaton that accepts the union of the
given set of strings.
|
static Automaton |
Automaton.makeTotalDigits(int i) |
|
static Automaton |
BasicAutomata.makeTotalDigits(int i) |
Constructs automaton that accept strings representing decimal numbers
that can be written with at most the given number of digits.
|
static Automaton |
Automaton.minimize(Automaton a) |
|
Automaton |
Automaton.minus(Automaton a) |
|
static Automaton |
BasicOperations.minus(Automaton a1,
Automaton a2) |
Returns a (deterministic) automaton that accepts the intersection of
the language of a1 and the complement of the language of
a2 .
|
Automaton |
Automaton.optional() |
|
static Automaton |
BasicOperations.optional(Automaton a) |
Returns an automaton that accepts the union of the empty string and the
language of the given automaton.
|
Automaton |
Automaton.overlap(Automaton a) |
|
static Automaton |
SpecialOperations.overlap(Automaton a1,
Automaton a2) |
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 .
|
Automaton |
Automaton.projectChars(Set<Character> chars) |
|
static Automaton |
SpecialOperations.projectChars(Automaton a,
Set<Character> chars) |
Returns an automaton with projected alphabet.
|
Automaton |
Automaton.repeat() |
|
Automaton |
Automaton.repeat(int min) |
|
Automaton |
Automaton.repeat(int min,
int max) |
|
static Automaton |
BasicOperations.repeat(Automaton a) |
Returns an automaton that accepts the Kleene star (zero or more
concatenated repetitions) of the language of the given automaton.
|
static Automaton |
BasicOperations.repeat(Automaton a,
int min) |
Returns an automaton that accepts min or more
concatenated repetitions of the language of the given automaton.
|
static Automaton |
BasicOperations.repeat(Automaton a,
int min,
int max) |
Returns an automaton that accepts between min and
max (including both) concatenated repetitions of the
language of the given automaton.
|
static Automaton |
Automaton.replaceWhitespace(Automaton a) |
|
static Automaton |
SpecialOperations.replaceWhitespace(Automaton a) |
Constructs automaton that accepts 0x20, 0x9, 0xa, and 0xd in place of each 0x20 transition
in the given automaton.
|
Automaton |
Automaton.shuffle(Automaton a) |
|
static Automaton |
ShuffleOperations.shuffle(Automaton a1,
Automaton a2) |
Returns an automaton that accepts the shuffle (interleaving) of
the languages of the given automata.
|
Automaton |
Automaton.singleChars() |
|
static Automaton |
SpecialOperations.singleChars(Automaton a) |
Returns an automaton that accepts the single chars that occur
in strings that are accepted by the given automaton.
|
Automaton |
Automaton.subst(char c,
String s) |
|
Automaton |
Automaton.subst(Map<Character,Set<Character>> map) |
|
static Automaton |
SpecialOperations.subst(Automaton a,
char c,
String s) |
Returns an automaton where all transitions of the given char are replaced by a string.
|
static Automaton |
SpecialOperations.subst(Automaton a,
Map<Character,Set<Character>> map) |
Returns an automaton where all transition labels have been substituted.
|
Automaton |
RegExp.toAutomaton() |
Constructs new Automaton from this RegExp .
|
Automaton |
RegExp.toAutomaton(boolean minimize) |
Constructs new Automaton from this RegExp .
|
Automaton |
RegExp.toAutomaton(AutomatonProvider automaton_provider) |
Constructs new Automaton from this RegExp .
|
Automaton |
RegExp.toAutomaton(AutomatonProvider automaton_provider,
boolean minimize) |
Constructs new Automaton from this RegExp .
|
Automaton |
RegExp.toAutomaton(Map<String,Automaton> automata) |
Constructs new Automaton from this RegExp .
|
Automaton |
RegExp.toAutomaton(Map<String,Automaton> automata,
boolean minimize) |
Constructs new Automaton from this RegExp .
|
Automaton |
Automaton.trim(String set,
char c) |
|
static Automaton |
SpecialOperations.trim(Automaton a,
String set,
char c) |
Returns an automaton that accepts the trimmed language of the given
automaton.
|
Automaton |
Automaton.union(Automaton a) |
|
static Automaton |
Automaton.union(Collection<Automaton> l) |
|
static Automaton |
BasicOperations.union(Automaton a1,
Automaton a2) |
Returns an automaton that accepts the union of the languages of the given automata.
|
static Automaton |
BasicOperations.union(Collection<Automaton> l) |
Returns an automaton that accepts the union of the languages of the given automata.
|