JavaScript is disabled on your browser.
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
Prev Letter
Next Letter
Frames
No Frames
All Classes
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
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
Prev Letter
Next Letter
Frames
No Frames
All Classes