16 #ifndef polybori_groebner_PairStatusSet_h_
17 #define polybori_groebner_PairStatusSet_h_
22 #include <boost/dynamic_bitset.hpp>
37 return table[j][i]==HAS_T_REP;
43 table[j][i]=HAS_T_REP;
46 template <
class Iterator>
48 for (; start != finish; ++start)
49 setToHasTRep(*start, ja);
55 table[j][i]=UNCALCULATED;
58 template <
class Iterator>
60 for (; start != finish; ++start)
61 setToUncalculated(*start, ja);
75 static const bool HAS_T_REP=
true;
76 static const bool UNCALCULATED=
false;
79 std::vector<bitvector_type>
table;