| 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.