|
|||
|
|
|
|||
|
|
#include <errno.h>#include <stdlib.h>Go to the source code of this file.
Classes | |
| class | Minisat::Internal::OutOfMemoryException |
Namespaces | |
| namespace | Minisat |
| namespace | Minisat::Internal |
Functions | |
| static void * | Minisat::Internal::xrealloc (void *ptr, size_t size) |