Function INT_VALUES_MAX

gecode/int/branch/val.hpp:104–107

  }

  inline IntValBranch
  INT_VALUES_MAX(void) {
    return IntValBranch(IntValBranch::SEL_VALUES_MAX);
  }