ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
definitions.h File Reference
#include "cstddef"
Include dependency graph for definitions.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  smanip

Macros

#define SIGINT   2
#define SEEK_SET   0
#define SEEK_CUR   1
#define SEEK_END   2
#define __TIMESTAMP__   (0)
#define _SIZE_T_DEFINED

Typedefs

typedef ptrdiff_t streamsize

Macro Definition Documentation

◆ __TIMESTAMP__

#define __TIMESTAMP__   (0)

◆ _SIZE_T_DEFINED

#define _SIZE_T_DEFINED

◆ SEEK_CUR

#define SEEK_CUR   1

◆ SEEK_END

#define SEEK_END   2

◆ SEEK_SET

#define SEEK_SET   0

◆ SIGINT

#define SIGINT   2

Typedef Documentation

◆ streamsize