Method div

gecode/minimodel/ipl.hpp:113–116

    _mult=ipl; return *this;
  }
  inline IntPropLevel
  IntPropLevels::div(void) const {
    return _div;
  }
  inline IntPropLevels&
  IntPropLevels::div(IntPropLevel ipl) {
    _div=ipl; return *this;