Lines Matching refs:last
207 make_interval(IlcInt last, IlcInt max, EC_word l, EC_functor dotdot)
209 if (last == max) { // Single number
211 } else if (last == max - 1) { // 2-value interval
214 return list(term(dotdot, EC_word(last), EC_word(max)), l);
237 IlcInt last = max;
239 while (v.getNextLower(last) != last) {
240 IlcInt lower = v.getNextLower(last);
241 if (lower == last - 1) {
242 last = lower;
244 l = make_interval(last, max, l, dotdot);
245 max = lower; last = lower;
248 l = make_interval(last, max, l, dotdot);