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

## D

Datatypes - Class in dk.brics.automaton
  Basic automata for representing common datatypes related to Unicode, XML, and XML Schema.
DatatypesAutomatonProvider - Class in dk.brics.automaton
  Automaton provider based on `Datatypes`.
DatatypesAutomatonProvider() - Constructor for class dk.brics.automaton.DatatypesAutomatonProvider
  Constructs a new automaton provider that recognizes all names from `Datatypes.get(String)`.
DatatypesAutomatonProvider(boolean, boolean, boolean) - Constructor for class dk.brics.automaton.DatatypesAutomatonProvider
  Constructs a new automaton provider that recognizes some of the names from `Datatypes.get(String)`
determinize() - Method in class dk.brics.automaton.Automaton
  See `BasicOperations.determinize(Automaton)`.
determinize(Automaton) - Static method in class dk.brics.automaton.BasicOperations
  Determinizes the given automaton.
dispatch(String) - Static method in class Main.prover
dispatchForIntegrationTest(String) - Static method in class Main.prover
dk.brics.automaton - package dk.brics.automaton
DOT - Static variable in class Main.GraphViz
  Where is your dot program located? It will be called externally.
draw(String, String) - Method in class Automata.Automaton
  Writes down this automaton to a .gv file given by the address.
drawAutomaton(String) - Method in class Main.Computer

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