removeLeadTerm()

void TrivialPolynomialHeap::removeLeadTerm ( )

inlineoverridevirtual

Implements PolynomialHeap.

Definition at line 215 of file NCReduction.cpp.

  {
    assert(mIter != mValue.cend());
    ++mIter;
  }

References mIter, and mValue.