get_next_pair()

std::pair< bool, spair > F4SPairSet::get_next_pair

(

)

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

{
  if (mSPairQueue.empty()) return {false, {}};
  auto result = mSPairQueue.top();
  if (mSPairs[result].deg != mThisDegree) return {false, {} };
  mSPairQueue.pop();
  return {true,mSPairs[result]};
}

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