Method max

gecode/int/val-set.hpp:94–97

  }

  forceinline int
  ValSet::max(void) const {
    return lst->max();
  }

  forceinline void
  ValSet::update(Space& home, ValSet& vs) {