satsolver  0.17.2
Macros | Typedefs
pooltypes.h File Reference

Go to the source code of this file.

Macros

#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
 

Macro Definition 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.