satsolver
0.17.2
|
Go to the source code of this file.
Macros | |
#define | REL_BLOCK 1023 /* hashtable for relations */ |
#define | WHATPROVIDES_BLOCK 1023 |
#define REL_BLOCK 1023 /* hashtable for relations */ |
Definition at line 20 of file poolid_private.h.
Referenced by pool_create(), pool_rel2id(), and pool_shrink_rels().
#define WHATPROVIDES_BLOCK 1023 |
Definition at line 21 of file poolid_private.h.
Referenced by pool_createwhatprovides(), pool_rel2id(), pool_str2id(), and pool_strn2id().