cudd  3.0.0
The University of Colorado Decision Diagram Package
Macros | Functions
datalimit.c File Reference

Access to datasize limit. More...

#include "config.h"
#include <stdint.h>
#include <stddef.h>
#include <sys/time.h>
#include <sys/resource.h>
Include dependency graph for datalimit.c:

Macros

#define RLIMIT_DATA_DEFAULT   268435456 /* assume 256MB by default */
 Default value returned if getrlimit not available.
 
#define EXTERN   extern
 Allows C linkage when compiling as C++.
 

Functions

size_t getSoftDataLimit (void)
 Gets the soft datasize limit.
 

Detailed Description

Access to datasize limit.