Interface satisfiabilityApplet.algorithmsAndKBase.SatisfiableAlgorithm

All Known Implementing Classes:
satisfiabilityApplet.algorithmsAndKBase.BruteForceAlgorithm, satisfiabilityApplet.algorithmsAndKBase.DPLLAlgorithm

public interface satisfiabilityApplet.algorithmsAndKBase.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 satisfiabilityApplet.cnfParser.UnsupportedTypeError
Throws:
satisfiabilityApplet.cnfParser.UnsupportedTypeError