|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.ObjectsatisfiabilityApplet.algorithmsAndKBase.BruteForceAlgorithm
by Catherine Block id# 6319 Date: Sep 18, 2004 Time: 12:15:54 PM CS 180H Checks a Conjunctive Normal Form sentence for satisfiability and validity using brute force.
Constructor Summary | |
satisfiabilityApplet.algorithmsAndKBase.BruteForceAlgorithm(java.util.List list)
Constructor takse a clauseList of Conjunctions to check. |
Method Summary | |
boolean |
alwaysTrue()
Determines if a clauseList of cnfs are always true. |
boolean |
isSatisfiable()
Checks if a conjunction of clauses is satisfiable |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
public satisfiabilityApplet.algorithmsAndKBase.BruteForceAlgorithm(java.util.List list)
list
- - A clauseList of ConjunctionsMethod Detail |
public boolean isSatisfiable() throws satisfiabilityApplet.cnfParser.UnsupportedTypeError
isSatisfiable
in interface satisfiabilityApplet.algorithmsAndKBase.SatisfiableAlgorithm
satisfiabilityApplet.cnfParser.UnsupportedTypeError
public boolean alwaysTrue() throws java.lang.Exception
java.lang.Exception
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |