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)

A C D E F G H I L M N P Q R S T U V