Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
A
C
D
E
F
G
H
I
L
M
N
P
Q
R
S
T
U
V
T
table
- Variable in class finiteAutomata.
Hashtable
Vector lists for storing Assocations
tableSize
- Variable in class finiteAutomata.
Hashtable
length of the "table" array
tableSize()
- Method in class finiteAutomata.
Hashtable
Returns tableSize.
term
- Variable in class finiteAutomata.
CNFRule
right-hand-side terminal symbol (for type 1)
term()
- Method in class finiteAutomata.
CNFRule
Returns term, the terminal symbol on RHS (or '-' if type 0).
testEpsilonDialog(DFA)
- Static method in class finiteAutomata.
DFAMenu
Tests whether the epsilon string is accepted.
testingDialog()
- Method in class finiteAutomata.
NFA
Allows the user to repeatedly test strings on this NFA.
testingHandler(DFA)
- Static method in class finiteAutomata.
DFAMenu
Allows the user to repeatedly test strings or print the specified DFA's language.
testingMenu()
- Static method in class finiteAutomata.
DFAMenu
Presents testing menu options to user and obtains valid choice.
testString(String)
- Method in class finiteAutomata.
CNF
Tests whether a given String is a terminal string which can be generated by this CNF.
testStringDialog()
- Method in class finiteAutomata.
CNF
Determines whether a user-specified String is generated by this grammar.
testStringDialog(DFA)
- Static method in class finiteAutomata.
DFAMenu
Queries user for string to test and reports back.
theKey
- Variable in class finiteAutomata.
Association
the key
theValue
- Variable in class finiteAutomata.
Association
the value
toPrettyString()
- Method in class finiteAutomata.
Alphabet
Converts this Alphabet to a String of symbols punctuated with braces and commas.
toPrettyString()
- Method in class finiteAutomata.
StringVarTerm
Returns a "pretty" representation of the string represented by this StringVarTerm.
toString()
- Method in class finiteAutomata.
Alphabet
Converts this Alphabet to a String of symbols.
toString()
- Method in class finiteAutomata.
Association
Converts this Association to a String for pretty-printing.
toString()
- Method in class finiteAutomata.
CNFRule
Returns a pretty String representation of this rule.
toString()
- Method in class finiteAutomata.
IntSet
Returns a String representation of this IntSet using square brackets and commas.
toTermString()
- Method in class finiteAutomata.
StringVarTerm
Decodes this StringVarTerm (which has no variables); returns a String with no spaces.
transition
- Variable in class finiteAutomata.
DFA
transition[i][j] tells where to transition to (from state i) on reading the j-th alphabet symbol
transition
- Variable in class finiteAutomata.
NFA
for symbol-consuming transitions; transition[i][j][k] is true iff we can transition from state i to state j on the kth alphabet symbol.
transition()
- Method in class finiteAutomata.
NFA
Returns a copy of the symbol-consuming transition array.
twoPower(int)
- Static method in class finiteAutomata.
Util
Returns the given power of 2.
type
- Variable in class finiteAutomata.
CNFRule
indicates type 0 or type 1
type()
- Method in class finiteAutomata.
CNFRule
Returns the type.
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
A
C
D
E
F
G
H
I
L
M
N
P
Q
R
S
T
U
V