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_FLAG_PACKEDSIZES 1
  22 #define SOLV_FLAG_VERTICAL    2
  23 #define SOLV_FLAG_PREFIX_POOL 4
  24
  25 struct _Stringpool;
  26 typedef struct _Stringpool Stringpool;
  27
  28 struct _Pool;
  29 typedef struct _Pool Pool;
  30
  31 // identifier for string values
  32 typedef int Id;         /* must be signed!, since negative Id is used in solver rules to denote negation */
  33
  34 // offset value, e.g. used to 'point' into the stringspace
  35 typedef unsigned int Offset;
  36
  37 #endif /* SATSOLVER_POOLTYPES_H */