satsolver 0.16.3
Defines | Typedefs

pooltypes.h File Reference

Go to the source code of this file.

Defines

#define SOLV_VERSION_0   0
#define SOLV_VERSION_1   1
#define SOLV_VERSION_2   2
#define SOLV_VERSION_3   3
#define SOLV_VERSION_4   4
#define SOLV_VERSION_5   5
#define SOLV_VERSION_6   6
#define SOLV_VERSION_7   7
#define SOLV_VERSION_8   8
#define SOLV_CONTENT_VERSION   1
#define SOLV_FLAG_PREFIX_POOL   4

Typedefs

typedef struct _Stringpool Stringpool
typedef struct _Pool Pool
typedef int Id
typedef unsigned int Offset

Define Documentation

#define SOLV_VERSION_0   0

Definition at line 17 of file pooltypes.h.

#define SOLV_VERSION_1   1

Definition at line 18 of file pooltypes.h.

#define SOLV_VERSION_2   2

Definition at line 19 of file pooltypes.h.

#define SOLV_VERSION_3   3

Definition at line 20 of file pooltypes.h.

#define SOLV_VERSION_4   4

Definition at line 21 of file pooltypes.h.

#define SOLV_VERSION_5   5

Definition at line 22 of file pooltypes.h.

#define SOLV_VERSION_6   6

Definition at line 23 of file pooltypes.h.

#define SOLV_VERSION_7   7

Definition at line 24 of file pooltypes.h.

#define SOLV_VERSION_8   8

Definition at line 25 of file pooltypes.h.

Referenced by repo_add_solv_flags().

#define SOLV_CONTENT_VERSION   1

Definition at line 37 of file pooltypes.h.

#define SOLV_FLAG_PREFIX_POOL   4

Definition at line 39 of file pooltypes.h.

Referenced by repo_add_solv_flags().


Typedef Documentation

typedef struct _Stringpool Stringpool

Definition at line 42 of file pooltypes.h.

typedef struct _Pool Pool

Definition at line 45 of file pooltypes.h.

typedef int Id

Definition at line 48 of file pooltypes.h.

typedef unsigned int Offset

Definition at line 51 of file pooltypes.h.