cudd  3.0.0
The University of Colorado Decision Diagram Package
Functions | Variables
safe_mem.c File Reference

Interface routines to be placed between a program and the system memory allocator. More...

#include "util.h"
Include dependency graph for safe_mem.c:

Functions

void MMout_of_memory (size_t size)
 Out of memory for lazy people: flush and exit.
 
void * MMalloc (size_t size)
 malloc replacement.
 
void * MMrealloc (void *obj, size_t size)
 realloc replacement.
 

Variables

void(* MMoutOfMemory )(size_t) = MMout_of_memory
 Global out-of-memory handler.
 

Detailed Description

Interface routines to be placed between a program and the system memory allocator.

The function pointer MMoutOfMemory() contains a vector to handle a 'out-of-memory' error (which, by default, points at a simple wrap-up and exit routine).