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

/barrelfish-master/usr/eclipseclp/icparc_solvers/
H A Dbitmap.c427 word result, old_min, old_max; local
434 old_min = bitmap_low_to_min(bitmap, old_low);
437 if (old_min > old_max) {
441 } else if (min <= old_min) {
443 if (min == old_min) {
540 word result, old_min, old_max; local
547 old_min = bitmap_low_to_min(bitmap, low);
550 if (old_max < old_min) {
562 } else if (max < old_min) {

Completed in 26 milliseconds