Class satisfiabilityApplet.cnfParser.BooleanValueNotSet

java.lang.Object
  extended byjava.lang.Throwable
      extended byjava.lang.Exception
          extended bysatisfiabilityApplet.cnfParser.BooleanValueNotSet
All Implemented Interfaces:
java.io.Serializable

public class satisfiabilityApplet.cnfParser.BooleanValueNotSet
extends java.lang.Exception

by Catherine Block id# 6319 Date: Sep 6, 2004 Time: 11:00:02 AM CS 180H satisfiabilityApplet.cnfParser.BooleanValueNotSet is thrown when the boolean value for a literal is requested but has not been set.

See Also:
Serialized Form

Constructor Summary
satisfiabilityApplet.cnfParser.BooleanValueNotSet(java.lang.String error)
           
 
Methods inherited from class java.lang.Throwable
fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

satisfiabilityApplet.cnfParser.BooleanValueNotSet

public satisfiabilityApplet.cnfParser.BooleanValueNotSet(java.lang.String error)