satisfiabilityApplet.algorithmsAndKBase
Class DPLLAlgorithm

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

public class DPLLAlgorithm
extends java.lang.Object
implements SatisfiableAlgorithm

by Catherine Block id# 6319 Date: Oct 18, 2004 Time: 4:05:40 PM CS 180H


Constructor Summary
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

DPLLAlgorithm

public 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 SatisfiableAlgorithm

getNum

public int getNum()