src/poolid_private.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  * poolid_private.h
  10  *
  11  */
  12
  13 #ifndef SATSOLVER_POOLID_PRIVATE_H
  14 #define SATSOLVER_POOLID_PRIVATE_H
  15
  16 // the size of all buffers is incremented in blocks
  17 // these are the block values (increment values) for the
  18 // rel hashtable
  19 //
  20 #define REL_BLOCK         1023          // hashtable for relations
  21
  22 #endif /* SATSOLVER_POOLID_PRIVATE_H */