NuSMV/code/nusmv/core/utils/portability.h File Reference
#include <limits.h>
Go to the source code of this file.
Defines |
#define | EINVAL 22 |
#define | ERANGE 34 |
#define | LLONG_MAX ((long long)(ULLONG_MAX >> 1)) |
#define | LLONG_MIN (- LLONG_MAX - 1) |
#define | ULLONG_MAX ((unsigned long long) -1) |
Functions |
void * | malloc (size_t) |
| External header of the portability package.
|
void * | realloc (void *, size_t) |
Variables |
int | errno |
Define Documentation
#define LLONG_MAX ((long long)(ULLONG_MAX >> 1)) |
#define LLONG_MIN (- LLONG_MAX - 1) |
#define ULLONG_MAX ((unsigned long long) -1) |
Function Documentation
External header of the portability package.
- Author:
- Roberto Cavada This module contains functions provided for portability reasons.
void* realloc |
( |
void * |
, |
|
|
size_t |
| |
|
) |
| | |
Variable Documentation