Method size

gecode/int/var/int.hpp:79–82

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