Overview  Package   Class  Use  Deprecated  Index
Home >> All >> org >> sf >> [ javabdd overview ]	PREV CLASS  NEXT CLASS
SUMMARY:  JAVADOC |  SOURCE |  DOWNLOAD | NESTED | FIELD | CONSTR | METHOD	DETAIL: FIELD | CONSTR | METHOD

---

org.sf.javabdd
Class BDDException  

java.lang.Object
  java.lang.Throwable
      java.lang.Exception
          java.lang.RuntimeException
              org.sf.javabdd.BDDException

All Implemented Interfaces:

java.io.Serializable

Direct Known Subclasses:

JavaFactory.JavaBDDException

---

public class BDDException

extends java.lang.RuntimeException

An exception caused by an invalid BDD operation.

Version:

$Id: BDDException.java,v 1.3 2003/07/01 00:10:19 joewhaley Exp $

---

Nested Class Summary

 

Nested classes inherited from class java.lang.Throwable

 

Field Summary

 

Fields inherited from class java.lang.RuntimeException

 

Fields inherited from class java.lang.Throwable

 

Constructor Summary

BDDException()

BDDException(java.lang.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(java.lang.String s)

---

Overview  Package   Class  Use  Deprecated  Index
Home >> All >> org >> sf >> [ javabdd overview ]	PREV CLASS  NEXT CLASS
SUMMARY:  JAVADOC |  SOURCE |  DOWNLOAD | NESTED | FIELD | CONSTR | METHOD	DETAIL: FIELD | CONSTR | METHOD

---