bool me_failed(ModEvent me)
Check whether modification event me is failed.
bool me_modified(ModEvent me)
Check whether modification event me describes variable modification.
Gecode toplevel namespace
const ModEvent ME_GEN_NONE
Generic modification event: no modification.
int ModEvent
Type for modification events.