Minisat::Internal::OutOfMemoryException Class Reference

#include <ogdf/lib/minisat/mtl/XAlloc.h>

Detailed Description

Definition at line 31 of file XAlloc.h.

---

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

• include/ogdf/lib/minisat/mtl/XAlloc.h