|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.ObjectsatisfiabilityApplet.algorithmsAndKBase.KBase
by Catherine Block id# 6319 Date: Sep 6, 2004 Time: 9:02:36 AM CS 180H satisfiabilityApplet.algorithmsAndKBase.KBase is a knowlege base containing CNF clauses.
Constructor Summary | |
KBase(ViewPanel view)
Constructor creates a new satisfiabilityApplet.algorithmsAndKBase.KBase |
Method Summary | |
void |
addSentence(java.lang.Object obj)
Adds a sentence to the satisfiabilityApplet.algorithmsAndKBase.KBase |
boolean |
alwaysTrueBF(int[] arr)
Uses Brute Force algorithm to determine if the conjunction of cnf's in the selected indices are always true. |
void |
deleteSelectedIndices(int[] arr)
Delete the CNFs contained in selected indices. |
java.util.ArrayList |
getPolynomialForm()
|
java.lang.Object |
getSelectedIndex(int index)
|
boolean |
isSatisfiableBF(int[] arr)
Uses Brute Force algorithm to determine if the conjunction of cnf's in the selected indices is satisfiable. |
boolean |
isSatisfiableDPLL(int[] arr)
Uses DPLL algorithm to determine satisfiability |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
public KBase(ViewPanel view)
view
- - The satisfiabilityApplet.gui.ViewPanel object that outputs the CNF clausesMethod Detail |
public void addSentence(java.lang.Object obj)
obj
- - A CNF sentence to add to the satisfiabilityApplet.algorithmsAndKBase.KBasepublic java.lang.Object getSelectedIndex(int index) throws java.lang.CloneNotSupportedException
index
- - The index of a clause contained in the KB
java.lang.CloneNotSupportedException
public void deleteSelectedIndices(int[] arr)
arr
- An array of selected indices representing the positions of Sentences in items.public java.util.ArrayList getPolynomialForm()
public boolean alwaysTrueBF(int[] arr) throws java.lang.Exception
arr
- - An array of indices representing sentences selected in the GUI
java.lang.Exception
public boolean isSatisfiableBF(int[] arr) throws java.lang.Exception
arr
- - An array of indices representing sentences selected in the GUI
java.lang.Exception
public boolean isSatisfiableDPLL(int[] arr) throws java.lang.Exception
arr
-
java.lang.Exception
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |