delete_elem()

void doubling_stash::delete_elem

(

void *

p

)

Definition at line 157 of file mem.cpp.

{
  if (p == nullptr) return;
  int *q = (int *)p;
  q--;
  doubles[*q]->delete_elem(q);
}

References doubles, and p.