shrinkLastAlloc()

void MonomialMemorySpace::shrinkLastAlloc ( int * m )

inline

Definition at line 104 of file monomial-sets.hpp.

{ mArena.freeTop(m); }

References mArena.