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
V
validLabel(String)
- Method in class finiteAutomata.
DFA
Tests whether a given String is a valid state label.
validState(int)
- Method in class finiteAutomata.
DFA
Tests whether a given int is in the proper range to be a state number.
validState(int)
- Method in class finiteAutomata.
NFA
Returns true if the given integer is in the correct range to be a state in this NFA.
var1
- Variable in class finiteAutomata.
CNFRule
left-hand-side variable
var1()
- Method in class finiteAutomata.
CNFRule
Returns var1, the LHS variable.
var2
- Variable in class finiteAutomata.
CNFRule
first right-hand-side variable (for type 0)
var2()
- Method in class finiteAutomata.
CNFRule
Returns var2, the first RHS variable (or '-' if type 1).
var3
- Variable in class finiteAutomata.
CNFRule
second right-hand-side variable (for type 0)
var3()
- Method in class finiteAutomata.
CNFRule
Returns var3, the second RHS variable (or '-' if type 1).
vars
- Variable in class finiteAutomata.
StringVarTerm
number of variables in this StringVarTerm (vars == 0 if this represents a string of terminal symbols)
vars()
- Method in class finiteAutomata.
StringVarTerm
Returns number of variables.
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