Searched refs:maxx (Results 1 - 1 of 1) sorted by relevance
/barrelfish-master/usr/eclipseclp/Kernel/src/ |
H A D | bip_domain.c | 913 word minx, maxx, miny, maxy; local 981 if (dom_range(dom1, &minx, &maxx)) { 985 if (c > maxx) { 988 if (c == maxx) { 1026 if (dom_range(dom1, &minx, &maxx)) { 1031 m = (maxx + c >= 0) ? -((maxx + c)/k) : (-maxx -c + k - 1) / k; 1033 m = (maxx + c >= 0) ? (maxx 1107 word minx, maxx, miny, maxy; local [all...] |
Completed in 75 milliseconds