discardSPairsInCurrentDegree()

void F4SPairSet::discardSPairsInCurrentDegree

(

)

Definition at line 159 of file f4-spairs.cpp.

{
  while (not mSPairQueue.empty())
    {
      auto result = mSPairQueue.top();
      if (mSPairs[result].deg != mThisDegree) return;
      mSPairs[result].type = SPairType::Retired;
      mSPairQueue.pop();
    }
}

References mSPairQueue, mSPairs, mThisDegree, result(), and Retired.