|
satsolver 0.16.3
|
Go to the source code of this file.
Defines | |
| #define | REL_BLOCK 1023 |
| #define | WHATPROVIDES_BLOCK 1023 |
| #define REL_BLOCK 1023 |
Definition at line 20 of file poolid_private.h.
Referenced by pool_create(), pool_shrink_rels(), and rel2id().
| #define WHATPROVIDES_BLOCK 1023 |
Definition at line 21 of file poolid_private.h.
Referenced by pool_createwhatprovides(), rel2id(), str2id(), and strn2id().
1.7.3