eclipseclp/icparc_solvers/bitmap.c

397     **      	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	Bitmap is now empty
813 	    result = RES_EMPTY;
906     **      	RES_EMPTY	Bitmap is now empty
968 	    result = RES_EMPTY;
972 	    result = RES_CHANGED + RES_EMPTY;
1046 		result = RES_CHANGED + RES_EMPTY;
1108     **      	RES_EMPTY	Bitmap is now empty
1191 	    result = RES_EMPTY;
1196 	    result = RES_CHANGED + RES_EMPTY;
1296 		result = RES_CHANGED + RES_EMPTY;
1691 	    return RES_EMPTY;
1732 	    return RES_EMPTY;
1772 	    return RES_EMPTY;
1804     /* Returns RES_EMPTY if there is no element larger than curr. */
1827 	    return RES_EMPTY;
1840 		return RES_EMPTY;
1884     /* Returns RES_EMPTY if there is no element smaller than curr. */
1901 	    return RES_EMPTY;
1907 	    return RES_EMPTY;
1920 		return RES_EMPTY;