ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
definitions.h
Go to the documentation of this file.
1#ifndef STL_DEFINITIONS
2#define STL_DEFINITIONS
3
4#include "cstddef"
5
6#define SIGINT 2
7
8#define SEEK_SET 0
9#define SEEK_CUR 1
10#define SEEK_END 2
11
12#ifndef __TIMESTAMP__
13# define __TIMESTAMP__ (0)
14#endif
15
16// [stream.types] makes streamsize signed; libstdc++ uses ptrdiff_t (#7540).
18
19/* The <iomanip> manipulators are implementation-defined types; the model
20 * funnels all of them through this one, tagged with which setting to apply
21 * when it reaches a stream (github #7016). */
22class smanip
23{
24public:
34
35 int _kind;
36 long _arg;
37
38 smanip(kind k, long a) : _kind(k), _arg(a)
39 {
40 }
41};
42
43#define _SIZE_T_DEFINED
44
45#endif
smanip(kind k, long a)
Definition definitions.h:38
kind
Definition definitions.h:26
@ _setfill
Definition definitions.h:30
@ _setprecision
Definition definitions.h:31
@ _setiosflags
Definition definitions.h:27
@ _resetiosflags
Definition definitions.h:28
@ _setw
Definition definitions.h:32
@ _setbase
Definition definitions.h:29
long _arg
Definition definitions.h:36
int _kind
Definition definitions.h:35
ptrdiff_t streamsize
Definition definitions.h:17
long int ptrdiff_t
Definition stddef.h:30