eclipseclp/icparc_solvers/bitmap.c

318 p_create_bitmap(value vmin, type tmin, value vmax, type tmax, value vbm, type tbm)
329 	Return_Bitmap(vbm, tbm, bitmap);
403 p_set_bitmap_lwb(value vbm, type tbm, value vmin, type tmin,
409 	Check_Bitmap(tbm);
516 p_set_bitmap_upb(value vbm, type tbm, value vmax, type tmax,
522 	Check_Bitmap(tbm);
629 p_remove_bitmap_element(value vbm, type tbm, value vel, type tel,
635 	Check_Bitmap(tbm);
767 p_remove_bitmap_range(value vbm, type tbm, value vlo, type tlo, value vhi, type thi,
773 	Check_Bitmap(tbm);
912 p_bitmap_intersect_into(value vbm, type tbm, value vbm2, type tbm2,
918 	Check_Bitmap(tbm);
1114 p_bitmap_shifted_intersect_into(value vbm, type tbm, value vbm2, type tbm2,
1121 	Check_Bitmap(tbm);
1358 p_bitmaps_have_non_empty_intersection(value vbm, type tbm, value vbm2, type tbm2)
1360 	Check_Bitmap(tbm);
1431 p_bitmap_union(value vbm, type tbm, value vbm2, type tbm2, value vnew_bm, type tnew_bm)
1436 	Check_Bitmap(tbm);
1561 p_copy_bitmap(value vbm, type tbm, value vnew_bm, type tnew_bm)
1565 	Check_Bitmap(tbm);
1594 p_copy_bitmap_shifted(value vbm, type tbm, value vshift, type tshift, value vnew_bm, type tnew_bm)
1598 	Check_Bitmap(tbm);
1661 p_bitmap_range(value vbm, type tbm, value vmin, type tmin, value vmax, type tmax)
1665 	Check_Bitmap(tbm);
1706 p_get_bitmap_lwb(value vbm, type tbm, value vmin, type tmin)
1710 	Check_Bitmap(tbm);
1746 p_get_bitmap_upb(value vbm, type tbm, value vmax, type tmax)
1750 	Check_Bitmap(tbm);
1786 p_next_greater_member(value vbm, type tbm, value vcurr, type tcurr, value vnext, type tnext)
1791 	Check_Bitmap(tbm);
1866 p_next_smaller_member(value vbm, type tbm, value vcurr, type tcurr, value vnext, type tnext)
1871 	Check_Bitmap(tbm);
1946 p_next_greater_non_member(value vbm, type tbm, value vcurr, type tcurr, value vnext, type tnext)
1950 	Check_Bitmap(tbm);
2013 p_next_smaller_non_member(value vbm, type tbm, value vcurr, type tcurr, value vnext, type tnext)
2017 	Check_Bitmap(tbm);
2080 p_bitmap_size(value vbm, type tbm, value vsize, type tsize)
2084 	Check_Bitmap(tbm);
2121 p_bitmap_contains(value vbm, type tbm, value vel, type tel)
2123 	Check_Bitmap(tbm);
2162 p_bitmap_contains_range(value vbm, type tbm, value vmin, type tmin, value vmax, type tmax)
2164 	Check_Bitmap(tbm);
2241 p_compare_bitmaps(value vres, type tres, value vbm, type tbm, value vbm2, type tbm2)
2246 	Check_Bitmap(tbm);