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
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