15 #ifndef polybori_iterators_COrderedIter_h_
16 #define polybori_iterators_COrderedIter_h_
33 template <
class NavigatorType>
42 virtual void increment() = 0;
50 template <
class StackType>
62 template <
class MgrType>
111 template <
class NavigatorType,
class MonomType>
113 public boost::iterator_facade<
114 COrderedIter<NavigatorType, MonomType>,
115 MonomType, std::forward_iterator_tag, MonomType
147 m_getTerm(getTerm), p_iter(rhs) {}
153 return p_iter->equal(*rhs.p_iter); }
157 if (!p_iter.unique()) {
177 return m_getTerm(*p_iter);
190 return p_iter->navigation();
202 template <
class OrderType,
class NavigatorType,
class MonomType>
217 template <
class MgrType>
226 template <
class OrderType,
class NavigatorType>
241 template <
class MgrType>