16 #ifndef polybori_groebner_CheckChainCriterion_h_
17 #define polybori_groebner_CheckChainCriterion_h_
29 template <
class StrategyType>
35 m_strategy(strategy), m_status(status) {}
48 return m_status.hasTRep(ij.
i, ij.
j) ||
49 checkPairCriteria(exp, ij.
i, ij.
j);
53 return m_strategy.checkVariableCriteria(vp.
i, vp.
v);
57 if (m_strategy.checkPairCriteria(exp, i, j)) {
58 m_status.setToHasTRep(i, j);
65 strategy_type& m_strategy;