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.