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
 All Data Structures Files Functions Variables Typedefs Enumerations Enumerator Defines

Generated on 14 Oct 2015 for NuSMV Developers Manual by  doxygen 1.6.1