net.sf.javabdd
Class BDDException

java.lang.Object
  extended by java.lang.Throwable
      extended by java.lang.Exception
          extended by java.lang.RuntimeException
              extended by net.sf.javabdd.BDDException
All Implemented Interfaces:
java.io.Serializable

public class BDDException
extends java.lang.RuntimeException

An exception caused by an invalid BDD operation.

Version:
$Id: BDDException.html,v 1.1.2.1 2009/02/16 18:41:07 sya Exp $
Author:
John Whaley
See Also:
Serialized Form

Constructor Summary
BDDException()
           
BDDException(java.lang.String s)
           
 
Method Summary
 
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
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

BDDException

public BDDException()

BDDException

public BDDException(java.lang.String s)