_Pool_tmpspace Struct Reference

#include <pool.h>

List of all members.

Public Attributes

char * buf [POOL_TMPSPACEBUF]
int len [POOL_TMPSPACEBUF]
int n


Detailed Description

Definition at line 55 of file pool.h.


Member Data Documentation

char* _Pool_tmpspace::buf[POOL_TMPSPACEBUF]

int _Pool_tmpspace::len[POOL_TMPSPACEBUF]

Definition at line 57 of file pool.h.

Referenced by pool_alloctmpspace(), and pool_alloctmpspace_free().

Definition at line 58 of file pool.h.

Referenced by pool_alloctmpspace(), pool_alloctmpspace_free(), and pool_freetmpspace().


The documentation for this struct was generated from the following file:

Generated on Mon Dec 15 17:56:24 2014 for satsolver by  doxygen 1.5.6