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

/barrelfish-master/usr/eclipseclp/icparc_solvers/
H A Dbitmap.h41 #define RES_EMPTY 0x4 /* Domain is empty */ macro
48 #define Result_Is_Empty(result) (((result) & RES_EMPTY) == RES_EMPTY)
49 #define Result_Is_Non_Empty(result) (((result) & RES_EMPTY) == 0)
H A Dbitmap.c397 ** RES_EMPTY Bitmap is now empty
439 result = RES_EMPTY;
451 result = RES_EMPTY + RES_CHANGED;
510 ** RES_EMPTY Bitmap is now empty
552 result = RES_EMPTY;
564 result = RES_EMPTY + RES_CHANGED;
623 ** RES_EMPTY Bitmap is now empty
666 result = RES_EMPTY;
674 result = RES_CHANGED + RES_EMPTY;
761 ** RES_EMPTY Bitma
[all...]

Completed in 79 milliseconds