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

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