Class satisfiabilityApplet.algorithmsAndKBase.DPLLAlgorithm

java.lang.Object
  extended bysatisfiabilityApplet.algorithmsAndKBase.DPLLAlgorithm
All Implemented Interfaces:
satisfiabilityApplet.algorithmsAndKBase.SatisfiableAlgorithm

public class satisfiabilityApplet.algorithmsAndKBase.DPLLAlgorithm
extends java.lang.Object
implements satisfiabilityApplet.algorithmsAndKBase.SatisfiableAlgorithm

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

satisfiabilityApplet.algorithmsAndKBase.DPLLAlgorithm

public satisfiabilityApplet.algorithmsAndKBase.DPLLAlgorithm(java.util.List djlist)
Constructor takse a disjunctionList of Conjunctions to check.

Parameters:
djlist - - A disjunctionList of Conjunctions
Method Detail

isSatisfiable

public boolean isSatisfiable()
Specified by:
isSatisfiable in interface satisfiabilityApplet.algorithmsAndKBase.SatisfiableAlgorithm

getNum

public int getNum()