net.sf.javabdd
Class BDDException

java.lang.Object
  extended byjava.lang.Throwable
      extended byjava.lang.Exception
          extended byjava.lang.RuntimeException
              extended bynet.sf.javabdd.BDDException
All Implemented Interfaces:
Serializable

public class BDDException
extends RuntimeException

An exception caused by an invalid BDD operation.

Version:
$Id: BDDException.java,v 1.1 2004/10/16 02:58:57 joewhaley Exp $
Author:
John Whaley
See Also:
Serialized Form

Constructor Summary
BDDException()
           
BDDException(String s)
           
 
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

BDDException

public BDDException()

BDDException

public BDDException(String s)


Copyright © 2003-2004 John Whaley. All Rights Reserved.