macros.icc
Go to the documentation of this file.00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015
00016
00017
00018
00019
00020
00021
00022
00023
00024
00025
00026
00027
00028
00029
00030
00031
00032
00033
00034
00035
00036
00037
00045 #define GECODE_ME_CHECK(me) \
00046 if (::Gecode::me_failed(me)) \
00047 return ::Gecode::ES_FAILED;
00048
00056 #define GECODE_ME_CHECK_MODIFIED(modified, me) { \
00057 ModEvent __me__ ## __LINE__ = (me); \
00058 if (::Gecode::me_failed(__me__ ## __LINE__)) \
00059 return ::Gecode::ES_FAILED; \
00060 modified |= ::Gecode::me_modified(__me__ ## __LINE__); \
00061 }
00062
00069 #define GECODE_ME_FAIL(home,me) \
00070 if (::Gecode::me_failed(me)) { \
00071 (home)->fail(); \
00072 return; \
00073 }
00074
00075
00076
00083 #define GECODE_ES_CHECK(es) { \
00084 ::Gecode::ExecStatus __es__ ## __LINE__ = (es); \
00085 if (__es__ ## __LINE__ < ::Gecode::ES_OK) \
00086 return __es__ ## __LINE__; \
00087 }
00088
00095 #define GECODE_ES_FAIL(home,es) { \
00096 ::Gecode::ExecStatus __es__ ## __LINE__ = (es); \
00097 assert(__es__ ## __LINE__ != ::Gecode::__ES_SUBSUMED); \
00098 if (__es__ ## __LINE__ < ::Gecode::ES_OK) { \
00099 (home)->fail(); return; \
00100 } \
00101 }
00102
00108 #define GECODE_REWRITE(prop,post) { \
00109 Propagator* __p__ ## __LINE__ = (prop); \
00110 size_t __s__ ## __LINE__ = __p__ ## __LINE__->dispose((home)); \
00111 ExecStatus __es__ ## __LINE__ = (post); \
00112 if (__es__ ## __LINE__ != ::Gecode::ES_OK) \
00113 return ::Gecode::ES_FAILED; \
00114 return ES_SUBSUMED(__p__ ## __LINE__,__s__ ## __LINE__); \
00115 }
00116
00117