Method max

gecode/int/var/int.hpp:69–72

    return x->med();
  }
  forceinline int
  IntVar::max(void) const {
    return x->max();
  }


  forceinline unsigned int