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

/barrelfish-master/usr/eclipseclp/icparc_solvers/
H A Dbitmap.c146 #define bitmap_high_to_max(bitmap, high) \ macro
435 old_max = bitmap_high_to_max(bitmap, high);
548 old_max = bitmap_high_to_max(bitmap, old_high);
662 max = bitmap_high_to_max(bitmap, high);
801 max = bitmap_high_to_max(bitmap, high);
958 max = bitmap_high_to_max(bitmap, high);
960 max2 = bitmap_high_to_max(bitmap2, high2);
1088 bitmap_high_to_max(new_bitmap, high) < max) {
1181 max = bitmap_high_to_max(bitmap, high);
1183 max2 = bitmap_high_to_max(bitmap
[all...]

Completed in 48 milliseconds