satsolver
0.17.2
|
#include <pool.h>
Public Attributes | |
char * | buf [POOL_TMPSPACEBUF] |
int | len [POOL_TMPSPACEBUF] |
int | n |
char* _Pool_tmpspace::buf[POOL_TMPSPACEBUF] |
Definition at line 56 of file pool.h.
Referenced by pool_alloctmpspace(), pool_alloctmpspace_free(), pool_free(), pool_freetmpspace(), and repodata_load_stub().
int _Pool_tmpspace::len[POOL_TMPSPACEBUF] |
Definition at line 57 of file pool.h.
Referenced by pool_alloctmpspace(), and pool_alloctmpspace_free().
int _Pool_tmpspace::n |
Definition at line 58 of file pool.h.
Referenced by pool_alloctmpspace(), pool_alloctmpspace_free(), and pool_freetmpspace().