Serialized Form
Package satisfiabilityApplet.cnfParser |
Package satisfiabilityApplet.gui |
selectionNumber
java.util.ArrayList selectionNumber
alwaysTrueButton
javax.swing.JButton alwaysTrueButton
alwaysTrueText
java.lang.String alwaysTrueText
alwaysTrueField
javax.swing.JTextField alwaysTrueField
isSatisfiableCombo
javax.swing.JComboBox isSatisfiableCombo
isSatisfiableText
java.lang.String isSatisfiableText
bruteForce
java.lang.String bruteForce
dpll
java.lang.String dpll
isSatisfiableField
javax.swing.JTextField isSatisfiableField
algArr
java.lang.String[] algArr
helpTextArea
javax.swing.JTextArea helpTextArea
helpText
java.lang.String helpText
checkArea
javax.swing.JTextArea checkArea
checkAreaScroll
javax.swing.JScrollPane checkAreaScroll
checkAreaModel
javax.swing.DefaultListModel checkAreaModel
checkAreaButton
javax.swing.JButton checkAreaButton
checkButtonText
java.lang.String checkButtonText
buttonDim
java.awt.Dimension buttonDim
gridConst
java.awt.GridBagConstraints gridConst
checkAreaList
javax.swing.JList checkAreaList
checkAreaListModel
javax.swing.DefaultListModel checkAreaListModel
mainPanel
javax.swing.JPanel mainPanel
parent
Gui parent
lValue
java.lang.String lValue
gridCols
java.lang.String gridCols
lLabel
javax.swing.JLabel lLabel
colLabel
javax.swing.JLabel colLabel
lEntry
javax.swing.JTextField lEntry
colEntry
javax.swing.JTextField colEntry
enterText
java.lang.String enterText
createButton
javax.swing.JButton createButton
sendButton
javax.swing.JButton sendButton
sendText
java.lang.String sendText
circuitPanel
javax.swing.JPanel circuitPanel
circuitText
java.lang.String circuitText
circuitArea
javax.swing.JTextArea circuitArea
gridConst
java.awt.GridBagConstraints gridConst
entryField
javax.swing.JTextField entryField
errorField
javax.swing.JTextField errorField
enterCNFButton
javax.swing.JButton enterCNFButton
enterDNFButton
javax.swing.JButton enterDNFButton
alwaysTrue
javax.swing.JButton alwaysTrue
trueField
javax.swing.JTextField trueField
entry
java.lang.String entry
enterCNF
java.lang.String enterCNF
enterDNF
java.lang.String enterDNF
entryHelp
java.lang.String entryHelp
polynomialViewHelp
java.lang.String polynomialViewHelp
entryHelpArea
javax.swing.JTextArea entryHelpArea
myDimension
java.awt.Dimension myDimension
displayPanelDimension
java.awt.Dimension displayPanelDimension
scanner
Scanner scanner
tokens
java.util.List tokens
clause
java.lang.Object clause
parent
Gui parent
contentPane
java.awt.Container contentPane
entry
java.lang.String entry
entryPanel
EntryPanel entryPanel
viewPanel
javax.swing.JPanel viewPanel
cnfViewPanel
CNFViewPanel cnfViewPanel
polynomialViewPanel
PolynomialViewPanel polynomialViewPanel
debug
javax.swing.JTextArea debug
myDimension
java.awt.Dimension myDimension
displayPanelDimension
java.awt.Dimension displayPanelDimension
menuBar
javax.swing.JMenuBar menuBar
entryMenu
javax.swing.JMenu entryMenu
entryMI
javax.swing.JMenuItem entryMI
entryText
java.lang.String entryText
viewMenu
javax.swing.JMenu viewMenu
CNFView
javax.swing.JMenuItem CNFView
CNFText
java.lang.String CNFText
polynomialView
javax.swing.JMenuItem polynomialView
polynomialText
java.lang.String polynomialText
editMenu
javax.swing.JMenu editMenu
delete
javax.swing.JMenuItem delete
deleteText
java.lang.String deleteText
edit
javax.swing.JMenuItem edit
editText
java.lang.String editText
dialog
EntryDialog dialog
kBase
KBase kBase
dataList
javax.swing.JList dataList
listModel
javax.swing.DefaultListModel listModel
listener
javax.swing.event.ListDataListener listener
scrollPane
javax.swing.JScrollPane scrollPane
parent
Gui parent
buttonPanel
javax.swing.JPanel buttonPanel
selectedIndices
int[] selectedIndices