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

M

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.
A B C D E F G H I L M N O P Q R S T U V W X