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 /* format 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
24 #define SOLV_VERSION_7 7
26 /* The format of .solv files might change incompatibly, and that is described
27 by the above version number. But sometimes we also extend the emitted
28 attributes (e.g. by adding a new one for solvables, for instance patch
29 category). Consumers need to know if the .solv file they have needs to
30 be regenerated by newer converters or not (or better, if regenerating them
31 would give a different .solv file). We use this serial number for that.
32 We increase it every time we add or remove attributes (or change the
33 interpretation of them). Tools installed by the user will have their
34 version compiled in, so they can detect mismatches between .solv files
35 they see and themself. */
36 #define SOLV_CONTENT_VERSION 1
38 #define SOLV_FLAG_PREFIX_POOL 4
41 typedef struct _Stringpool Stringpool;
44 typedef struct _Pool Pool;
46 // identifier for string values
47 typedef int Id; /* must be signed!, since negative Id is used in solver rules to denote negation */
49 // offset value, e.g. used to 'point' into the stringspace
50 typedef unsigned int Offset;
52 #endif /* SATSOLVER_POOLTYPES_H */