2 * Copyright (c) 2007, Novell Inc.
4 * This program is licensed under the BSD license, read LICENSE.BSD
5 * for further information
13 #ifndef SATSOLVER_POOLTYPES_H
14 #define SATSOLVER_POOLTYPES_H
16 /* version number for .solv files */
17 #define SOLV_VERSION_0 0
18 #define SOLV_VERSION_1 1
19 #define SOLV_VERSION_2 2
20 #define SOLV_VERSION_3 3
21 #define SOLV_VERSION_4 4
22 #define SOLV_VERSION_5 5
23 #define SOLV_VERSION_6 6 /* solvable.kind added */
25 #define SOLV_FLAG_PACKEDSIZES 1
26 #define SOLV_FLAG_VERTICAL 2
27 #define SOLV_FLAG_PREFIX_POOL 4
30 typedef struct _Stringpool Stringpool;
33 typedef struct _Pool Pool;
35 // identifier for string values
36 typedef int Id; /* must be signed!, since negative Id is used in solver rules to denote negation */
38 // offset value, e.g. used to 'point' into the stringspace
39 typedef unsigned int Offset;
41 #endif /* SATSOLVER_POOLTYPES_H */