[−][src]Module varisat::clause::alloc
Clause allocator.
Structs
| ClauseAlloc | Bump allocator for clause storage. |
| ClauseRef | Compact reference to a clause. |
Type Definitions
| ClauseOffset | Integer type used to store offsets into |
Clause allocator.
| ClauseAlloc | Bump allocator for clause storage. |
| ClauseRef | Compact reference to a clause. |
| ClauseOffset | Integer type used to store offsets into |