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

/barrelfish-master/usr/eclipseclp/icparc_solvers/
H A Dbitmap.h90 extern int p_create_bitmap(value vmin, type tmin, value vmax, type tmax, value vbm, type tbm);
92 extern int p_set_bitmap_lwb(value vbm, type tbm, value vmin, type tmin, value vresult, type tresult, value vnew_bm, type tnew_bm);
94 extern int p_set_bitmap_upb(value vbm, type tbm, value vmax, type tmax, value vresult, type tresult, value vnew_bm, type tnew_bm);
96 extern int p_remove_bitmap_element(value vbm, type tbm, value vel, type tel, value vresult, type tresult, value vnew_bm, type tnew_bm);
98 extern int p_remove_bitmap_range(value vbm, type tbm, value vlo, type tlo, value vhi, type thi, value vresult, type tresult, value vnew_bm, type tnew_bm);
100 extern int p_bitmap_intersect_into(value vbm, type tbm, value vbm2, type tbm2, value vresult, type tresult, value vnew_bm, type tnew_bm);
102 extern int p_bitmap_shifted_intersect_into(value vbm, type tbm, value vbm2, type tbm2, value vshift, type tshift, value vresult, type tresult, value vnew_bm, type tnew_bm);
104 extern int p_bitmaps_have_non_empty_intersection(value vbm, type tbm, value vbm2, type tbm2);
106 extern int p_bitmap_union(value vbm, type tbm, value vbm2, type tbm2, value vnew_bm, type tnew_bm);
108 extern int p_copy_bitmap(value vbm, typ
[all...]
H A Dbitmap.c318 p_create_bitmap(value vmin, type tmin, value vmax, type tmax, value vbm, type tbm) argument
329 Return_Bitmap(vbm, tbm, bitmap);
403 p_set_bitmap_lwb(value vbm, type tbm, value vmin, type tmin, argument
412 result = set_bitmap_lwb(vbm.wptr, vmin.nint, (uword **) &new_bitmap);
516 p_set_bitmap_upb(value vbm, type tbm, value vmax, type tmax, argument
525 result = set_bitmap_upb(vbm.wptr, vmax.nint, &new_bitmap);
629 p_remove_bitmap_element(value vbm, type tbm, value vel, type tel, argument
638 result = remove_bitmap_element(vbm.wptr, vel.nint, &new_bitmap);
767 p_remove_bitmap_range(value vbm, type tbm, value vlo, type tlo, value vhi, type thi, argument
777 result = remove_bitmap_range(vbm
912 p_bitmap_intersect_into(value vbm, type tbm, value vbm2, type tbm2, value vresult, type tresult, value vnew_bm, type tnew_bm) argument
1114 p_bitmap_shifted_intersect_into(value vbm, type tbm, value vbm2, type tbm2, value vshift, type tshift, value vresult, type tresult, value vnew_bm, type tnew_bm) argument
1358 p_bitmaps_have_non_empty_intersection(value vbm, type tbm, value vbm2, type tbm2) argument
1431 p_bitmap_union(value vbm, type tbm, value vbm2, type tbm2, value vnew_bm, type tnew_bm) argument
1561 p_copy_bitmap(value vbm, type tbm, value vnew_bm, type tnew_bm) argument
1594 p_copy_bitmap_shifted(value vbm, type tbm, value vshift, type tshift, value vnew_bm, type tnew_bm) argument
1661 p_bitmap_range(value vbm, type tbm, value vmin, type tmin, value vmax, type tmax) argument
1706 p_get_bitmap_lwb(value vbm, type tbm, value vmin, type tmin) argument
1746 p_get_bitmap_upb(value vbm, type tbm, value vmax, type tmax) argument
1786 p_next_greater_member(value vbm, type tbm, value vcurr, type tcurr, value vnext, type tnext) argument
1866 p_next_smaller_member(value vbm, type tbm, value vcurr, type tcurr, value vnext, type tnext) argument
1946 p_next_greater_non_member(value vbm, type tbm, value vcurr, type tcurr, value vnext, type tnext) argument
2013 p_next_smaller_non_member(value vbm, type tbm, value vcurr, type tcurr, value vnext, type tnext) argument
2080 p_bitmap_size(value vbm, type tbm, value vsize, type tsize) argument
2121 p_bitmap_contains(value vbm, type tbm, value vel, type tel) argument
2162 p_bitmap_contains_range(value vbm, type tbm, value vmin, type tmin, value vmax, type tmax) argument
2241 p_compare_bitmaps(value vres, type tres, value vbm, type tbm, value vbm2, type tbm2) argument
[all...]

Completed in 35 milliseconds