operator++()

void ResPolynomialIterator::operator++ ( )

inline

Definition at line 271 of file res-poly-ring.hpp.

  {
    coeff_index++;
    monom_index +=
        mRing.monoid().monomial_size(elem.monoms.data() + monom_index);
  }

References coeff_index, elem, monom_index, and mRing.