src/pooltypes.h

   1 /*
   2  * Copyright (c) 2007, Novell Inc.
   3  *
   4  * This program is licensed under the BSD license, read LICENSE.BSD
   5  * for further information
   6  */
   7
   8 /*
   9  * pooltypes.h
  10  *
  11  */
  12
  13 #ifndef SATSOLVER_POOLTYPES_H
  14 #define SATSOLVER_POOLTYPES_H
  15
  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 */
  24
  25 #define SOLV_FLAG_PACKEDSIZES 1
  26 #define SOLV_FLAG_VERTICAL    2
  27 #define SOLV_FLAG_PREFIX_POOL 4
  28
  29 struct _Stringpool;
  30 typedef struct _Stringpool Stringpool;
  31
  32 struct _Pool;
  33 typedef struct _Pool Pool;
  34
  35 // identifier for string values
  36 typedef int Id;         /* must be signed!, since negative Id is used in solver rules to denote negation */
  37
  38 // offset value, e.g. used to 'point' into the stringspace
  39 typedef unsigned int Offset;
  40
  41 #endif /* SATSOLVER_POOLTYPES_H */