| allocated | pool | [private] |
| delete_pool(void) | pool | [inline] |
| GetMem(unsigned int num_bytes) | pool | [inline] |
| new_pool(void) | pool | [inline] |
| pool(const pool &p) | pool | [inline, private] |
| pool(void) | pool | [inline] |
| pool_handle | pool | [private] |
| pr(FILE *fp=stdout) | pool | [inline] |
| ~pool(void) | pool | [inline] |
1.3.3