satsolver
0.17.2
Main Page
Related Pages
Classes
Files
File List
File Members
src
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 */
Generated by
1.8.4