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 |