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

/barrelfish-master/usr/eclipseclp/icparc_solvers/
H A Dic.c1504 ic_exclude_range(var_info *vi, word int_lwb0, word int_upb0) argument
1519 if (int_upb0 < int_lwb) {
1522 if (int_upb0 > MAX_BITMAP_RANGE) {
1526 return ic_lwb(vi, (double) (int_upb0 + 1));
1540 if (int_upb0 >= int_upb) {
1548 return set_up_exclude_range_delayed_goal(vi, int_lwb0, int_upb0);
1551 /* int_lwb < int_lwb0 <= int_upb0 < int_upb */
1561 result = remove_bitmap_range(bitmap, int_lwb0, int_upb0, &new_bitmap);

Completed in 41 milliseconds