Uses of Class
dk.brics.automaton.Automaton
-
-
Uses of Automaton in dk.brics.automaton
Fields in dk.brics.automaton declared as Automaton Modifier and Type Field Description private static Automaton
Datatypes. ws
Fields in dk.brics.automaton with type parameters of type Automaton Modifier and Type Field Description private static java.util.Map<java.lang.String,Automaton>
Datatypes. automata
Methods in dk.brics.automaton that return Automaton Modifier and Type Method Description Automaton
Automaton. clone()
Returns a clone of this automaton.(package private) Automaton
Automaton. cloneExpanded()
Returns a clone of this automaton, expands if singleton.(package private) Automaton
Automaton. cloneExpandedIfRequired()
Returns a clone of this automaton unlessallow_mutation
is set, expands if singleton.(package private) Automaton
Automaton. cloneIfRequired()
Returns a clone of this automaton, or this automaton itself ifallow_mutation
flag is set.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(java.lang.String set, char c)
static Automaton
SpecialOperations. compress(Automaton a, java.lang.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(java.util.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(java.util.List<Automaton> l)
Returns an automaton that accepts the concatenation of the languages of the given automata.static Automaton
Datatypes. get(java.lang.String name)
Returns pre-built automaton.Automaton
AutomatonProvider. getAutomaton(java.lang.String name)
Returns automaton of the given name.Automaton
DatatypesAutomatonProvider. getAutomaton(java.lang.String name)
(package private) static Automaton
Datatypes. getWhitespaceAutomaton()
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(java.io.InputStream stream)
Retrieves a serializedAutomaton
from a stream.static Automaton
Automaton. load(java.net.URL url)
Retrieves a serializedAutomaton
located by a URL.private static Automaton
Datatypes. load(java.lang.String name)
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(java.lang.String set)
static Automaton
BasicAutomata. makeCharSet(java.lang.String set)
Returns a new (deterministic) automaton that accepts a single character in the given set.private static Automaton
Datatypes. makeCodePoint(int cp)
static Automaton
Automaton. makeDecimalValue(java.lang.String value)
static Automaton
BasicAutomata. makeDecimalValue(java.lang.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(java.lang.String value)
static Automaton
BasicAutomata. makeIntegerValue(java.lang.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(java.lang.String n)
static Automaton
BasicAutomata. makeMaxInteger(java.lang.String n)
Constructs automaton that accept strings representing nonnegative integers that are not larger than the given value.static Automaton
Automaton. makeMinInteger(java.lang.String n)
static Automaton
BasicAutomata. makeMinInteger(java.lang.String n)
Constructs automaton that accept strings representing nonnegative integers that are not less that the given value.static Automaton
Automaton. makeString(java.lang.String s)
static Automaton
BasicAutomata. makeString(java.lang.String s)
Returns a new (deterministic) automaton that accepts the single given string.static Automaton
Automaton. makeStringMatcher(java.lang.String s)
static Automaton
BasicAutomata. makeStringMatcher(java.lang.String s)
Constructs deterministic automaton that matches strings that contain the given substring.static Automaton
Automaton. makeStringUnion(java.lang.CharSequence... strings)
static Automaton
BasicAutomata. makeStringUnion(java.lang.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 ofa1
and the complement of the language ofa2
.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 bya1
and a right part being accepted bya2
.Automaton
Automaton. projectChars(java.util.Set<java.lang.Character> chars)
static Automaton
SpecialOperations. projectChars(Automaton a, java.util.Set<java.lang.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 acceptsmin
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 betweenmin
andmax
(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, java.lang.String s)
Automaton
Automaton. subst(java.util.Map<java.lang.Character,java.util.Set<java.lang.Character>> map)
static Automaton
SpecialOperations. subst(Automaton a, char c, java.lang.String s)
Returns an automaton where all transitions of the given char are replaced by a string.static Automaton
SpecialOperations. subst(Automaton a, java.util.Map<java.lang.Character,java.util.Set<java.lang.Character>> map)
Returns an automaton where all transition labels have been substituted.Automaton
RegExp. toAutomaton()
Constructs newAutomaton
from thisRegExp
.Automaton
RegExp. toAutomaton(boolean minimize)
Constructs newAutomaton
from thisRegExp
.Automaton
RegExp. toAutomaton(AutomatonProvider automaton_provider)
Constructs newAutomaton
from thisRegExp
.Automaton
RegExp. toAutomaton(AutomatonProvider automaton_provider, boolean minimize)
Constructs newAutomaton
from thisRegExp
.Automaton
RegExp. toAutomaton(java.util.Map<java.lang.String,Automaton> automata)
Constructs newAutomaton
from thisRegExp
.Automaton
RegExp. toAutomaton(java.util.Map<java.lang.String,Automaton> automata, boolean minimize)
Constructs newAutomaton
from thisRegExp
.private Automaton
RegExp. toAutomaton(java.util.Map<java.lang.String,Automaton> automata, AutomatonProvider automaton_provider, boolean minimize)
private Automaton
RegExp. toAutomatonAllowMutate(java.util.Map<java.lang.String,Automaton> automata, AutomatonProvider automaton_provider, boolean minimize)
Automaton
Automaton. trim(java.lang.String set, char c)
static Automaton
SpecialOperations. trim(Automaton a, java.lang.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(java.util.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(java.util.Collection<Automaton> l)
Returns an automaton that accepts the union of the languages of the given automata.Methods in dk.brics.automaton that return types with arguments of type Automaton Modifier and Type Method Description private static java.util.Map<java.lang.String,Automaton>
Datatypes. buildMap(java.lang.String[] exps)
Methods in dk.brics.automaton with parameters of type Automaton Modifier and Type Method Description private static void
SpecialOperations. acceptToAccept(Automaton a)
static void
BasicOperations. addEpsilons(Automaton a, java.util.Collection<StatePair> pairs)
Adds epsilon transitions to the given automaton.static Automaton
BasicOperations. complement(Automaton a)
Returns a (deterministic) automaton that accepts the complement of the language of the given automaton.static Automaton
SpecialOperations. compress(Automaton a, java.lang.String set, char c)
Returns an automaton that accepts the compressed language of the given automaton.Automaton
Automaton. concatenate(Automaton a)
static Automaton
BasicOperations. concatenate(Automaton a1, Automaton a2)
Returns an automaton that accepts the concatenation of the languages of the given automata.static void
BasicOperations. determinize(Automaton a)
Determinizes the given automaton.(package private) static void
BasicOperations. determinize(Automaton a, java.util.Set<State> initialset)
Determinizes the given automaton using the given set of initial states.static java.lang.String
SpecialOperations. getCommonPrefix(Automaton a)
Returns the longest string that is a prefix of all accepted strings and visits each state at most once.static java.util.Set<java.lang.String>
SpecialOperations. getFiniteStrings(Automaton a)
Returns the set of accepted strings, assuming this automaton has a finite language.static java.util.Set<java.lang.String>
SpecialOperations. getFiniteStrings(Automaton a, int limit)
Returns the set of accepted strings, assuming that at mostlimit
strings are accepted.static java.lang.String
BasicOperations. getShortestExample(Automaton a, boolean accepted)
Returns a shortest accepted/rejected string.static java.util.Set<java.lang.String>
SpecialOperations. getStrings(Automaton a, int length)
Returns the set of accepted strings of the given length.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.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 boolean
BasicOperations. isEmpty(Automaton a)
Returns true if the given automaton accepts no strings.static boolean
BasicOperations. isEmptyString(Automaton a)
Returns true if the given automaton accepts the empty string and nothing else.static boolean
SpecialOperations. isFinite(Automaton a)
Returns true if the language of this automaton is finite.static boolean
BasicOperations. isTotal(Automaton a)
Returns true if the given automaton accepts all strings.static Automaton
Automaton. minimize(Automaton a)
static void
MinimizationOperations. minimize(Automaton a)
Minimizes (and determinizes if not already deterministic) the given automaton.static void
MinimizationOperations. minimizeBrzozowski(Automaton a)
Minimizes the given automaton using Brzozowski's algorithm.static void
MinimizationOperations. minimizeHopcroft(Automaton a)
Minimizes the given automaton using Hopcroft's algorithm.static void
MinimizationOperations. minimizeHuffman(Automaton a)
Minimizes the given automaton using Huffman's algorithm.static void
MinimizationOperations. minimizeValmari(Automaton automaton)
Minimizes the given automaton using Valmari's algorithm.Automaton
Automaton. minus(Automaton a)
static Automaton
BasicOperations. minus(Automaton a1, Automaton a2)
Returns a (deterministic) automaton that accepts the intersection of the language ofa1
and the complement of the language ofa2
.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 bya1
and a right part being accepted bya2
.static void
SpecialOperations. prefixClose(Automaton a)
Prefix closes the given automaton.static Automaton
SpecialOperations. projectChars(Automaton a, java.util.Set<java.lang.Character> chars)
Returns an automaton with projected alphabet.private static void
Datatypes. put(java.util.Map<java.lang.String,Automaton> map, java.lang.String name, Automaton a)
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 acceptsmin
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 betweenmin
andmax
(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.static java.util.Set<State>
SpecialOperations. reverse(Automaton a)
Reverses the language of the given (non-singleton) automaton while returning the set of new initial states.static boolean
BasicOperations. run(Automaton a, java.lang.String s)
Returns true if the given string is accepted by the 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.static java.lang.String
Automaton. shuffleSubsetOf(java.util.Collection<Automaton> ca, Automaton a, java.lang.Character suspend_shuffle, java.lang.Character resume_shuffle)
static java.lang.String
ShuffleOperations. shuffleSubsetOf(java.util.Collection<Automaton> ca, Automaton a, java.lang.Character suspend_shuffle, java.lang.Character resume_shuffle)
Returns a string that is an interleaving of strings that are accepted byca
but not bya
.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.private static void
Datatypes. store(java.lang.String name, Automaton a)
boolean
Automaton. subsetOf(Automaton a)
static boolean
BasicOperations. subsetOf(Automaton a1, Automaton a2)
Returns true if the language ofa1
is a subset of the language ofa2
.static Automaton
SpecialOperations. subst(Automaton a, char c, java.lang.String s)
Returns an automaton where all transitions of the given char are replaced by a string.static Automaton
SpecialOperations. subst(Automaton a, java.util.Map<java.lang.Character,java.util.Set<java.lang.Character>> map)
Returns an automaton where all transition labels have been substituted.static Automaton
SpecialOperations. trim(Automaton a, java.lang.String set, char c)
Returns an automaton that accepts the trimmed language of the given automaton.Automaton
Automaton. union(Automaton a)
static Automaton
BasicOperations. union(Automaton a1, Automaton a2)
Returns an automaton that accepts the union of the languages of the given automata.Method parameters in dk.brics.automaton with type arguments of type Automaton Modifier and Type Method Description static Automaton
Automaton. concatenate(java.util.List<Automaton> l)
static Automaton
BasicOperations. concatenate(java.util.List<Automaton> l)
Returns an automaton that accepts the concatenation of the languages of the given automata.private void
RegExp. findLeaves(RegExp exp, RegExp.Kind kind, java.util.List<Automaton> list, java.util.Map<java.lang.String,Automaton> automata, AutomatonProvider automaton_provider, boolean minimize)
private void
RegExp. findLeaves(RegExp exp, RegExp.Kind kind, java.util.List<Automaton> list, java.util.Map<java.lang.String,Automaton> automata, AutomatonProvider automaton_provider, boolean minimize)
private static void
Datatypes. put(java.util.Map<java.lang.String,Automaton> map, java.lang.String name, Automaton a)
private static void
Datatypes. putFrom(java.lang.String name, java.util.Map<java.lang.String,Automaton> from)
private static void
Datatypes. putWith(java.lang.String[] exps, java.util.Map<java.lang.String,Automaton> use)
static java.lang.String
Automaton. shuffleSubsetOf(java.util.Collection<Automaton> ca, Automaton a, java.lang.Character suspend_shuffle, java.lang.Character resume_shuffle)
static java.lang.String
ShuffleOperations. shuffleSubsetOf(java.util.Collection<Automaton> ca, Automaton a, java.lang.Character suspend_shuffle, java.lang.Character resume_shuffle)
Returns a string that is an interleaving of strings that are accepted byca
but not bya
.Automaton
RegExp. toAutomaton(java.util.Map<java.lang.String,Automaton> automata)
Constructs newAutomaton
from thisRegExp
.Automaton
RegExp. toAutomaton(java.util.Map<java.lang.String,Automaton> automata, boolean minimize)
Constructs newAutomaton
from thisRegExp
.private Automaton
RegExp. toAutomaton(java.util.Map<java.lang.String,Automaton> automata, AutomatonProvider automaton_provider, boolean minimize)
private Automaton
RegExp. toAutomatonAllowMutate(java.util.Map<java.lang.String,Automaton> automata, AutomatonProvider automaton_provider, boolean minimize)
static Automaton
Automaton. union(java.util.Collection<Automaton> l)
static Automaton
BasicOperations. union(java.util.Collection<Automaton> l)
Returns an automaton that accepts the union of the languages of the given automata.Constructors in dk.brics.automaton with parameters of type Automaton Constructor Description RunAutomaton(Automaton a)
Constructs a newRunAutomaton
from a deterministicAutomaton
.RunAutomaton(Automaton a, boolean tableize)
Constructs a newRunAutomaton
from a deterministicAutomaton
.ShuffleConfiguration(java.util.Collection<Automaton> ca, Automaton a)
Constructor parameters in dk.brics.automaton with type arguments of type Automaton Constructor Description ShuffleConfiguration(java.util.Collection<Automaton> ca, Automaton a)
-