|
||||||||||
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 | |
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 BruteForceAlgorithm(java.util.List list)
list
- - A clauseList of ConjunctionsMethod Detail |
public boolean isSatisfiable() throws UnsupportedTypeError
isSatisfiable
in interface SatisfiableAlgorithm
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 |