flush_pairs()

void gbA::flush_pairs ( )

private

Definition at line 2670 of file gb-default.cpp.

{
  spair *p;
  while ((p = spair_set_next()) != nullptr)
    {
      n_saved_hilb++;
      spair_delete(p);
    }
}

References n_saved_hilb, p, spair_delete(), and spair_set_next().

Referenced by do_computation(), and insert_gb().