Serialized Form


Package satisfiabilityApplet.cnfParser

Class satisfiabilityApplet.cnfParser.BooleanValueNotSet extends java.lang.Exception implements Serializable

Class satisfiabilityApplet.cnfParser.ParseError extends java.lang.Exception implements Serializable

Class satisfiabilityApplet.cnfParser.UnsupportedTypeError extends java.lang.Exception implements Serializable


Package satisfiabilityApplet.gui

Class satisfiabilityApplet.gui.CNFViewPanel extends ViewPanel implements Serializable

Serialized Fields

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

Class satisfiabilityApplet.gui.EntryDialog extends javax.swing.JDialog implements Serializable

Serialized Fields

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

Class satisfiabilityApplet.gui.EntryPanel extends javax.swing.JPanel implements Serializable

Serialized Fields

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

Class satisfiabilityApplet.gui.Gui extends javax.swing.JApplet implements Serializable

Serialized Fields

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

Class satisfiabilityApplet.gui.PolynomialViewPanel extends ViewPanel implements Serializable

Class satisfiabilityApplet.gui.ViewPanel extends javax.swing.JPanel implements Serializable

Serialized Fields

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