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

/barrelfish-master/usr/skb/
H A Dshared_lib_dict.h82 extern void bitmaps_have_non_empty_intersection();
204 {.name="bitmaps_have_non_empty_intersection",.f=bitmaps_have_non_empty_intersection},
/barrelfish-master/usr/eclipseclp/icparc_solvers/
H A Dbitmap.h105 extern int bitmaps_have_non_empty_intersection(uword *bitmap, uword *bitmap2);
H A Dbitmap.c1353 ** bitmaps_have_non_empty_intersection(+Bitmap, +Bitmap2)
1363 return bitmaps_have_non_empty_intersection(vbm.wptr, vbm2.wptr);
1367 bitmaps_have_non_empty_intersection(uword *bitmap, uword *bitmap2) function

Completed in 97 milliseconds