setThisDegree()

std::pair< bool, int > F4SPairSet::setThisDegree

(

)

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

{
  if (mSPairQueue.empty()) return {false, 0};
 
  auto queueTop = mSPairQueue.top();
  while (mSPairs[queueTop].type == SPairType::Retired)
    {
      mSPairQueue.pop();
      if (mSPairQueue.empty()) return {false, 0};
      queueTop = mSPairQueue.top();
    }
 
  mThisDegree = mSPairs[queueTop].deg;
  return {true,mThisDegree};
 
}

References mSPairQueue, mSPairs, mThisDegree, and Retired.