/*
* pooltypes.h
- *
+ *
*/
-#ifndef SATSOLVER_POOLTYPES_H
-#define SATSOLVER_POOLTYPES_H
+#ifndef LIBSOLV_POOLTYPES_H
+#define LIBSOLV_POOLTYPES_H
-/* version number for .solv files */
+/* format version number for .solv files */
#define SOLV_VERSION_0 0
#define SOLV_VERSION_1 1
#define SOLV_VERSION_2 2
#define SOLV_VERSION_5 5
#define SOLV_VERSION_6 6
#define SOLV_VERSION_7 7
+#define SOLV_VERSION_8 8
#define SOLV_FLAG_PREFIX_POOL 4
+#define SOLV_FLAG_SIZE_BYTES 8
struct _Stringpool;
typedef struct _Stringpool Stringpool;
struct _Pool;
typedef struct _Pool Pool;
-// identifier for string values
+/* identifier for string values */
typedef int Id; /* must be signed!, since negative Id is used in solver rules to denote negation */
-// offset value, e.g. used to 'point' into the stringspace
+/* offset value, e.g. used to 'point' into the stringspace */
typedef unsigned int Offset;
-#endif /* SATSOLVER_POOLTYPES_H */
+#endif /* LIBSOLV_POOLTYPES_H */