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 EINVAL   22

Todo:

Missing synopsis

Todo:

Missing description

#define ERANGE   34

Todo:

Missing synopsis

Todo:

Missing description

#define LLONG_MAX   ((long long)(ULLONG_MAX >> 1))

Todo:

Missing synopsis

Todo:

Missing description

#define LLONG_MIN   (- LLONG_MAX - 1)

Todo:

Missing synopsis

Todo:

Missing description

#define ULLONG_MAX   ((unsigned long long) -1)

Todo:

Missing synopsis

Todo:

Missing description

---

Function Documentation

void* malloc

(

size_t

)

External header of the portability package.

Author:

Roberto Cavada This module contains functions provided for portability reasons.

void* realloc	(	void *	,
		size_t
	)

---

Variable Documentation

int errno