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
Q
queryAlphabet()
- Method in class finiteAutomata.
CNF
Queries user for alphabet of terminal symbols.
queryAlphabet(DFA)
- Static method in class finiteAutomata.
DFAMenu
Initializes alpha according to user input.
queryAlphabet(NFA)
- Static method in class finiteAutomata.
NFAMenu
Queries user to obtain alphabet of input symbols.
queryAmbiguous()
- Method in class finiteAutomata.
CNF
Asks user if they want to have strings with ambiguous derivations be repeated.
queryChoice()
- Method in class finiteAutomata.
IntSet
Reads and returns user's menu choice.
queryFinal(DFA)
- Static method in class finiteAutomata.
DFAMenu
Initializes isFinal array according to user input.
queryFinal(NFA)
- Static method in class finiteAutomata.
NFAMenu
Queries user to determine which states are final.
queryLabels(DFA)
- Static method in class finiteAutomata.
DFAMenu
Obtains and initializes state labels based on user input.
queryNumStates()
- Static method in class finiteAutomata.
DFAMenu
Prints constructor menu banner and asks user how many states in DFA.
queryNumStates()
- Static method in class finiteAutomata.
NFAMenu
Prints constructor menu heading, and queries user until valid (positive) number of states is obtained.
queryNumVars()
- Method in class finiteAutomata.
CNF
Prints constructor menu header and queries user regarding number of variables.
queryPredefined()
- Method in class finiteAutomata.
CNF
Asks user if they want to use a pre-defined CNF.
queryPredefined()
- Static method in class finiteAutomata.
DFAMenu
Asks user if they want to use a pre-defined DFA.
queryPredefined()
- Static method in class finiteAutomata.
NFAMenu
Asks user if they want to use a pre-defined NFA.
queryStart(DFA)
- Static method in class finiteAutomata.
DFAMenu
Asks user for start state.
queryTransition(DFA)
- Static method in class finiteAutomata.
DFAMenu
For each state and each alphabet symbol, asks user for destination.
queryValidState(DFA)
- Static method in class finiteAutomata.
DFAMenu
Queries user repeatedly to enter a state label.
queryValidSymbol(DFA)
- Static method in class finiteAutomata.
DFAMenu
Queries user repeatedly to enter an input symbol.
queryValidTransition(DFA, int, int)
- Static method in class finiteAutomata.
DFAMenu
Queries user repeatedly to enter a valid destination state.
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