Method max

gecode/minimodel/ipl.hpp:80–83

    _max2=ipl; return *this;
  }
  inline IntPropLevel
  IntPropLevels::max(void) const {
    return _max;
  }
  inline IntPropLevels&
  IntPropLevels::max(IntPropLevel ipl) {
    _max=ipl; return *this;