A D G I M R

A

accepts(String) - Method in class Dfa
Return true if this dfa accepts the given string, and false otherwise.
addTransition(String, String) - Method in class DfaVertex
Add a new transition from this vertex to some other, destination vertex.

D

Dfa - Class in <Unnamed>
A Dfa object models a discrete finite automaton (dfa).
Dfa() - Constructor for class Dfa
Create a new, empty dfa object
DfaException - Exception in <Unnamed>
A DfaException is thrown by unexpected errors in dfa code.
DfaException() - Constructor for exception DfaException
 
DfaException(String) - Constructor for exception DfaException
 
DfaException(Throwable) - Constructor for exception DfaException
 
DfaException(String, Throwable) - Constructor for exception DfaException
 
DfaVertex - Class in <Unnamed>
A DfaVertex object models a single vertex in a dfa.
DfaVertex(String) - Constructor for class DfaVertex
Create a new vertex with the given label.

G

getLabel() - Method in class DfaVertex
return the label of this vertex
getTransition(String) - Method in class DfaVertex
Find out the destination vertex to which the given symbol will cause a transition.

I

INITIAL_STATE - Static variable in class Dfa
The label of the initial state of the dfa.

M

main(String[]) - Static method in class Dfa
 

R

readFromFile(String) - Method in class Dfa
Read a description of the dfa from a file.

A D G I M R