• Home
  • History
  • Annotate
  • Raw
  • Download
  • only in /barrelfish-2018-10-04/usr/eclipseclp/icparc_solvers/

Lines Matching refs:delta

947 	word	delta;
962 /* Add delta to convert an index for bitmap to an index for bitmap2. */
964 delta = (offset - offset2) / BPW;
987 if (low2 - delta > low) {
988 low = low2 - delta;
990 if (high2 - delta < high) {
991 high = high2 - delta;
998 bits_ptr2 = Bits(bitmap2) + low + delta;
1015 bits_ptr2 = Bits(bitmap2) + high + delta;
1031 ** Note that offset and delta may have been invalidated as well
1033 ** to make sure we adjust delta correctly.
1035 delta += low - Low(new_bitmap);
1063 bits_ptr2 = Bits(bitmap2) + pos + delta;
1160 word delta;
1185 /* Add delta to convert an index for bitmap to an index for bitmap2. */
1187 delta = (offset - offset2) / BPW;
1214 ** bitmap2 that may affect the outcome may be low + delta - 1;
1215 ** note also that low + delta - 1 and high + delta may not exist
1219 if (low2 - delta > low) {
1220 low = low2 - delta;
1222 if (high2 + 1 - delta < high) {
1223 high = high2 + 1 - delta;
1230 bits_ptr2 = Bits(bitmap2) + low + delta;
1232 if (high2 < low + delta) {
1238 if (low2 < low + delta) {
1259 bits_ptr2 = Bits(bitmap2) + high + delta - 1;
1261 if (high2 >= high + delta) {
1281 ** Note that offset and delta may have been invalidated as well
1283 ** to make sure we adjust delta correctly.
1285 delta += low - Low(new_bitmap);
1313 bits_ptr2 = Bits(bitmap2) + pos + delta - 1;
1374 word delta;
1389 /* Add delta to convert an index for bitmap to an index for bitmap2. */
1391 delta = (offset - offset2) / BPW;
1393 if (low2 - delta > low) {
1394 low = low2 - delta;
1396 if (high2 - delta < high) {
1397 high = high2 - delta;
1404 bits_ptr2 = Bits(bitmap2) + low + delta;
1459 word delta, start, stop;
1512 delta = (new_offset - offset) / BPW;
1514 start = low - delta;
1515 stop = high - delta;
1520 bits_ptr = Bits(bitmap) + delta;
2273 word delta;
2289 /* Add delta to convert an index for bitmap to an index for bitmap2. */
2291 delta = (offset - offset2) / BPW;
2293 if (low + delta < low2) {
2295 low = low2 - delta;
2296 } else if (low2 < low + delta) {
2302 if (high + delta > high2) {
2307 high = high2 - delta;
2308 } else if (high2 > high + delta) {
2317 bits_ptr2 = Bits(bitmap2) + pos + delta;