Lines Matching refs:max
126 IlcInt max = ec_arg(4).val.nint;
128 EC_IlcIntVar v(m, min, max, EC_arg(1));
207 make_interval(IlcInt last, IlcInt max, EC_word l, EC_functor dotdot)
209 if (last == max) { // Single number
210 return list(EC_word(max), l);
211 } else if (last == max - 1) { // 2-value interval
212 return list(EC_word(max-1), list(EC_word(max), l));
214 return list(term(dotdot, EC_word(last), EC_word(max)), l);
228 IlcInt max = v.getMax();
232 if (max - v.getMin() > 100000) {
234 return unify(EC_arg(2), make_interval(v.getMin(), max, l, dotdot));
236 // Let's fetch all the values starting from the max
237 IlcInt last = max;
244 l = make_interval(last, max, l, dotdot);
245 max = lower; last = lower;
248 l = make_interval(last, max, l, dotdot);