Gecode::BddMgrException Class Reference

Inherits Gecode::Exception.

List of all members.

---

Detailed Description

Exception: Error in the Buddy ROBDD manager

Definition at line 42 of file bddmanager.icc.

Public Member Functions
	BddMgrException (const char *l)
	Initialize with location l.

---

Constructor & Destructor Documentation

Gecode::BddMgrException::BddMgrException

(

const char *

l

)

[inline]

Initialize with location l.

Definition at line 49 of file bddmanager.icc.

---

The documentation for this class was generated from the following file:

• gecode/cpltset/bddmanager.icc (Revision: 5608)