eclipseclp/icparc_solvers/bitmap.h

91 extern	word	create_bitmap(word min, word max, uword **bm_ptr);
93 extern	word	set_bitmap_lwb(uword *bitmap, word min, uword **new_bm_ptr);
95 extern	word	set_bitmap_upb(uword *bitmap, word max, uword **new_bm_ptr);
97 extern	word	remove_bitmap_element(uword *bitmap, word el, uword **new_bm_ptr);
99 extern	word	remove_bitmap_range(uword *bitmap, word lo0, word hi0, uword **new_bm_ptr);
101 extern	word	bitmap_intersect_into(uword *bitmap, uword *bitmap2, word offset_adj, uword **new_bm_ptr);
103 extern	word	bitmap_shifted_intersect_into(uword *bitmap, uword *bitmap2, word shift, uword **new_bm_ptr);
105 extern	int	bitmaps_have_non_empty_intersection(uword *bitmap, uword *bitmap2);
107 extern	word	bitmap_union(uword *bitmap, uword *bitmap2, uword **new_bm_ptr);
109 extern	void	copy_bitmap(uword *bitmap, uword **new_bm_ptr);
111 extern	void	copy_bitmap_shifted(uword *bitmap, word shift, uword **new_bm_ptr);
113 extern	word	bitmap_range(uword *bitmap, word *min_ptr, word *max_ptr);
115 extern	word	get_bitmap_lwb(uword *bitmap, word *min_ptr);
117 extern	word	get_bitmap_upb(uword *bitmap, word *max_ptr);
119 extern	word	next_greater_member(uword *bitmap, word curr, word *next_ptr);
121 extern	word	next_smaller_member(uword *bitmap, word curr, word *next_ptr);
123 extern	word	next_greater_non_member(uword *bitmap, word curr, word *next_ptr);
125 extern	word	next_smaller_non_member(uword *bitmap, word curr, word *next_ptr);
127 extern	word	bitmap_size(uword *bitmap);
129 extern	word	bitmap_contains(uword *bitmap, word el);
131 extern	word	bitmap_contains_range(uword *bitmap, word min, word max);
133 extern	word	compare_bitmaps(uword *bitmap, uword *bitmap2, int *res_ptr);