16 #ifndef polybori_groebner_LiteralFactorizationIterator_h_
17 #define polybori_groebner_LiteralFactorizationIterator_h_
45 map_type::const_iterator var2const_iter_,
46 var2var_map_type::const_iterator
49 var2var_iter(var2var_iter_), var2const_iter(var2const_iter_),
50 literal_factorization(literal_factorization_),
51 m_ring(literal_factorization_->rest.ring()) { }
58 return ((literal_factorization==other.literal_factorization)
59 && (var2const_iter==other.var2const_iter) &&
60 (var2var_iter==other.var2var_iter)
64 return !(*
this==other);
68 var2var_map_type::const_iterator var2var_iter;
69 map_type::const_iterator var2const_iter;