Searched refs:lwb2 (Results 1 - 2 of 2) sorted by relevance

/barrelfish-master/usr/eclipseclp/Kernel/src/
H A Dintervals.c2044 double lwb2, upb2; local
2052 if ((upb1 = IvlUpb(v1.ptr)) < (lwb2 = IvlLwb(v2.ptr)))
2056 return PedanticGreater(lwb1,lwb2) ? 1 /* arbitrary (overlap) */
2057 : PedanticLess(lwb1,lwb2) ? -1 /* arbitrary (overlap) */
/barrelfish-master/usr/eclipseclp/icparc_solvers/
H A Dic.c5024 double lwb2, upb2; local
5036 IC_Var_Info(attr2vec, lwb2, upb2, ic_type2, bitmap2);
5042 lwb = lwb1 > lwb2 ? lwb1 : lwb2;
5053 lwb = ceil(lwb); /* In case it was lwb2. */
5100 lwb2 = ceil(lwb2);
5106 lwb = max(lwb1, lwb2);
5259 /* XXX - Should we avoid creating a new double if lwb == lwb2? */
5276 if (lwb > lwb2) {
[all...]

Completed in 96 milliseconds