16 #ifndef polybori_groebner_PairManager_h_
17 #define polybori_groebner_PairManager_h_
41 typedef std::priority_queue<Pair, std::vector<PairE>,
PairECompare>
50 appendTo(vec, temp.top());
56 if (!skip(pair, isHFE)) queue.push(pair);
68 template <
class StrategyType>
71 while(!pairSetEmpty() && continuing(queue.top()))
81 Pair result = queue.top();
87 bool skip(
const Pair& pair,
bool isHFE) {
91 void appendTo(std::vector<Polynomial>& vec,
const Pair& current)
const {
93 appendTo(vec, current.delayedPair().p);
97 void appendTo(std::vector<Polynomial>& vec,
const Polynomial& poly)
const {