Predefined modification events must be taken into account by variable types.
Type for modification events.
Definition at line 146 of file core.hpp.
Type for propagation conditions.
Definition at line 156 of file core.hpp.
const ModEvent Gecode::ME_GEN_FAILED = -1 |
Generic modification event: failed variable.
Definition at line 149 of file core.hpp.
const ModEvent Gecode::ME_GEN_NONE = 0 |
Generic modification event: no modification.
Definition at line 151 of file core.hpp.
const ModEvent Gecode::ME_GEN_ASSIGNED = 1 |
Generic modification event: variable is assigned a value.
Definition at line 153 of file core.hpp.
const PropCond Gecode::PC_GEN_NONE = -1 |
Propagation condition to be ignored (convenience)
Definition at line 158 of file core.hpp.
const PropCond Gecode::PC_GEN_ASSIGNED = 0 |
Propagation condition for an assigned variable.
Definition at line 160 of file core.hpp.