|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.ObjectsatisfiabilityApplet.algorithmsAndKBase.DPLLAlgorithm
by Catherine Block id# 6319 Date: Oct 18, 2004 Time: 4:05:40 PM CS 180H
Constructor Summary | |
satisfiabilityApplet.algorithmsAndKBase.DPLLAlgorithm(java.util.List djlist)
Constructor takse a disjunctionList of Conjunctions to check. |
Method Summary | |
int |
getNum()
|
boolean |
isSatisfiable()
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
public satisfiabilityApplet.algorithmsAndKBase.DPLLAlgorithm(java.util.List djlist)
djlist
- - A disjunctionList of ConjunctionsMethod Detail |
public boolean isSatisfiable()
isSatisfiable
in interface satisfiabilityApplet.algorithmsAndKBase.SatisfiableAlgorithm
public int getNum()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |