delete_mi_node()

template<typename Key>

void ResF4MonomialLookupTableT< Key >::delete_mi_node ( mi_node * p )

private

Definition at line 52 of file res-f4-monlookup.cpp.

{
  if (p == nullptr) return;
  if (p->right != p->header) delete_mi_node(p->right);
  if (p->tag == mi_node::node)
    {
      if (p->header != p) delete_mi_node(p->down());
    }
  mi_stash->delete_elem(p);
}

References delete_mi_node(), mi_stash, ResF4MonomialLookupTableT< Key >::mi_node::node, and p.

Referenced by delete_mi_node(), and ~ResF4MonomialLookupTableT().