Package satisfiabilityApplet.gui

Class Summary
CNFViewPanel by Catherine Block id# 6319 Date: Sep 16, 2004 Time: 11:12:40 AM CS 180H satisfiabilityApplet.gui.CNFViewPanel provides a scroll clauseList of CNF's and a button panel for checking validity and satisfiablity.
EntryDialog EntryDialog allows generation and entry of Tau Tautologies
EntryPanel by Catherine Block id# 6319 Date: Sep 4, 2004 Time: 11:54:20 AM CS 180H Entry panel is the entry part of the satisfiabilityApplet.gui.Gui
Gui by Catherine Block id# 6319 Date: Sep 4, 2004 Time: 11:54:20 AM CS 180H satisfiabilityApplet.gui.Gui creates a JApplet allowing a user to enterCNFButton CNFs and check validity and satisfiablity with a variety of algorithms.
PolynomialViewPanel by Catherine Block id# 6319 Date: Sep 16, 2004 Time: 11:12:40 AM CS 180H
ViewPanel by Catherine Block id# 6319 Date: Oct 4, 2004 Time: 4:08:23 PM CS 180H