popLastAlloc()

void MonomialMemorySpace::popLastAlloc ( int * m )

inline

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

{ mCount--; mArena.freeTop(m); }

References mArena, and mCount.