satisfiabilityApplet.algorithmsAndKBase
Interface SatisfiableAlgorithm

All Known Implementing Classes:
BruteForceAlgorithm, DPLLAlgorithm

public interface SatisfiableAlgorithm

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


Method Summary
 boolean isSatisfiable()
           
 

Method Detail

isSatisfiable

public boolean isSatisfiable()
                      throws UnsupportedTypeError
Throws:
UnsupportedTypeError