(Revision: 11004)
Go to the source code of this file.
|
bool | Gecode::Set::Rel::subsumesME (ModEvent me0, ModEvent me1, ModEvent me2, ModEvent me) |
|
bool | Gecode::Set::Rel::subsumesME (ModEvent me0, ModEvent me1, ModEvent me) |
|
bool | Gecode::Set::Rel::subsumesME (ModEvent me0, ModEvent me) |
|
bool | Gecode::Set::Rel::testSetEventLB (ModEvent me0, ModEvent me1, ModEvent me2) |
|
bool | Gecode::Set::Rel::testSetEventUB (ModEvent me0, ModEvent me1, ModEvent me2) |
|
bool | Gecode::Set::Rel::testSetEventAnyB (ModEvent me0, ModEvent me1, ModEvent me2) |
|
bool | Gecode::Set::Rel::testSetEventCard (ModEvent me0, ModEvent me1, ModEvent me2) |
|
bool | Gecode::Set::Rel::testSetEventLB (ModEvent me0, ModEvent me1) |
|
bool | Gecode::Set::Rel::testSetEventUB (ModEvent me0, ModEvent me1) |
|
bool | Gecode::Set::Rel::testSetEventAnyB (ModEvent me0, ModEvent me1) |
|
bool | Gecode::Set::Rel::testSetEventCard (ModEvent me0, ModEvent me1) |
|
bool | Gecode::Set::Rel::testSetEventLB (ModEvent me0) |
|
bool | Gecode::Set::Rel::testSetEventUB (ModEvent me0) |
|
bool | Gecode::Set::Rel::testSetEventAnyB (ModEvent me0) |
|
bool | Gecode::Set::Rel::testSetEventCard (ModEvent me0) |
|
◆ GECODE_SET_ME_CHECK_VAL
#define GECODE_SET_ME_CHECK_VAL |
( |
|
p, |
|
|
|
f |
|
) |
| |
Value:{ \
ModEvent __me__ ## __LINE__ = (
p); \
const ModEvent ME_GEN_ASSIGNED
Generic modification event: variable is assigned a value.
int p
Number of positive literals for node type.
Execution has resulted in failure.
Post propagator for f(x \diamond_{\mathit{op}} y) \sim_r z \f$ void rel(Home home
bool me_failed(ModEvent me)
Check whether modification event me is failed.
Definition at line 44 of file common.hpp.
◆ GECODE_SET_ME_CHECK_VAL_B
#define GECODE_SET_ME_CHECK_VAL_B |
( |
|
modified, |
|
|
|
tell, |
|
|
|
f |
|
) |
| |
Value:{ \
ModEvent me = (tell); \
GECODE_ME_CHECK(me); \
}
const ModEvent ME_GEN_ASSIGNED
Generic modification event: variable is assigned a value.
Post propagator for f(x \diamond_{\mathit{op}} y) \sim_r z \f$ void rel(Home home
bool me_modified(ModEvent me)
Check whether modification event me describes variable modification.
Definition at line 49 of file common.hpp.