- M - Variable in class Main.Expression
-
- Main - package Main
-
- main(String[]) - Static method in class dk.brics.automaton.Datatypes
-
Invoke during compilation to pre-build automata.
- main(String[]) - Static method in class Main.prover
-
if the command line argument is not empty, we treat args[0] as a filename.
- 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.
- max(char, char) - Static method in class Main.UtilityMethods
-
- min(char, char) - Static method in class Main.UtilityMethods
-
- 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.
- 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
-
- 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
.