Generated on Sat Feb 7 2015 02:01:34 for Gecode by doxygen 1.8.9.1
macros.hpp File Reference

(Revision: 10365)

Go to the source code of this file.

Macros

#define GECODE_ME_CHECK(me)
 Check whether modification event me is failed, and forward failure. More...
 
#define GECODE_ME_CHECK_MODIFIED(modified, me)
 Check whether me is failed or modified, and forward failure. More...
 
#define GECODE_ME_FAIL(me)
 Check whether modification event me is failed, and fail space home. More...
 
#define GECODE_ES_CHECK(es)
 Check whether execution status es is failed or subsumed, and forward failure or subsumption. More...
 
#define GECODE_ES_FAIL(es)
 Check whether execution status es is failed, and fail space home. More...
 
#define GECODE_REWRITE(prop, post)
 Rewrite propagator by executing post function. More...