Searched refs:make_interval (Results 1 - 2 of 2) sorted by relevance
| /barrelfish-master/usr/eclipseclp/icparc_solvers/ilog/ |
| H A D | ilog.cc | 207 make_interval(IlcInt last, IlcInt max, EC_word l, EC_functor dotdot) function
234 return unify(EC_arg(2), make_interval(v.getMin(), max, l, dotdot));
244 l = make_interval(last, max, l, dotdot);
248 l = make_interval(last, max, l, dotdot);
|
| /barrelfish-master/usr/eclipseclp/Kernel/lib/ |
| H A D | test_util.pl | 47 make_interval/1, make_neginteger/1, make_negfloat/1,
601 make_interval(1.0__1.1).
|
Completed in 88 milliseconds