FreeStoreManager Class Reference

List of all members.

Public Member Functions
	FreeStoreManager (int blockSize)
	~FreeStoreManager ()
int	getBlockSize ()
int *	getStorePtr ()
void	releaseStorePtr ()
void	releaseAllStorePtr ()

---

Detailed Description

Definition at line 8 of file freestoremanager.h.

---

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

• src/infer/freestoremanager.h

---