removeLeadTerm()

void PriorityQueuePolynomialHeap::removeLeadTerm ( )

inlineoverridevirtual

Implements PolynomialHeap.

Definition at line 1080 of file NCReduction.cpp.

  {
    if (isZero()) return;
    assert(mLeadTermSet); // should only be called if mLeadTermSet is true.
    if (mLeadTermSet)
      mLeadTermSet = false;
  }

References isZero(), and mLeadTermSet.

Referenced by value().