remove_res2_pair()

void res2_comp::remove_res2_pair ( res2_pair * p )

private

Definition at line 570 of file res-a0.cpp.

{
  if (p == nullptr) return;
  R->remove(p->syz);
  delete p->mi;
  freemem(p);
}

References freemem(), p, and R.

Referenced by insert_pair(), and remove_res2_level().