Public Types | |
| enum | { num_chunks = 1023 } |
Public Attributes | |
| Chunk | chunk [num_chunks] |
| Block * | next |
| unsigned char | pad [32-sizeof(Block *)] |
Definition at line 527 of file solver_types.h.
| anonymous enum |
Definition at line 528 of file solver_types.h.
Definition at line 531 of file solver_types.h.
Definition at line 529 of file solver_types.h.
| unsigned char Clasp::SmallClauseAlloc::Block::pad[32-sizeof(Block *)] |
Definition at line 530 of file solver_types.h.