Method regret_max

gecode/int/var/int.hpp:87–90

    return x->regret_min();
  }
  forceinline unsigned int
  IntVar::regret_max(void) const {
    return x->regret_max();
  }

  forceinline bool
  IntVar::range(void) const {