PtrPool.h File Reference

Pointer pool, for RAII memory management. More...

#include <memory>
#include <vector>

Go to the source code of this file.

Classes
struct	nixt::PtrPool< T >
	A simple pointer pool, a vector of unique_ptrs. More...

Namespaces
namespace	nixt
	Access EvalCache in nix::EvalState.

Detailed Description

Pointer pool, for RAII memory management.

Definition in file PtrPool.h.