Searched refs:dlex_exp_iterator (Results 1 – 4 of 4) sorted by relevance
647 BoolePolynomial::dlex_exp_iterator 651 return dlex_exp_iterator(navigation(), ring()); in genericExpBegin()655 BoolePolynomial::dlex_exp_iterator659 return dlex_exp_iterator(navigator(), ring()); in genericExpEnd()
168 typedef CGenericIter<DegLexOrder, navigator, exp_type> dlex_exp_iterator; typedef430 dlex_exp_iterator genericExpBegin(dlex_tag) const;431 dlex_exp_iterator genericExpEnd(dlex_tag) const;
168 typedef CGenericIter<DegLexOrder, navigator, exp_type> dlex_exp_iterator;430 dlex_exp_iterator genericExpBegin(dlex_tag) const;431 dlex_exp_iterator genericExpEnd(dlex_tag) const;