satsolver  0.17.2
poolid_private.h
Go to the documentation of this file.
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 #define WHATPROVIDES_BLOCK 1023
22 
23 #endif /* SATSOLVER_POOLID_PRIVATE_H */