44#ifdef GECODE_HAS_INT_VARS
45namespace Gecode {
namespace Int {
104#ifdef GECODE_HAS_INT_VARS
105namespace Gecode {
namespace Int {
130#ifdef GECODE_HAS_SET_VARS
131namespace Gecode {
namespace Set {
252#ifdef GECODE_HAS_FLOAT_VARS
253namespace Gecode {
namespace Float {
296#ifdef GECODE_HAS_INT_VARS
297namespace Gecode {
namespace Int {
322namespace Gecode {
namespace Int {
324 class IntVarImpConf {
327 static const int idx_c = -1;
329 static const int idx_d = -1;
335#ifdef GECODE_HAS_INT_VARS
336namespace Gecode {
namespace Int {
361namespace Gecode {
namespace Int {
363 class BoolVarImpConf {
374#ifdef GECODE_HAS_SET_VARS
375namespace Gecode {
namespace Set {
400namespace Gecode {
namespace Set {
402 class SetVarImpConf {
413#ifdef GECODE_HAS_FLOAT_VARS
414namespace Gecode {
namespace Float {
439namespace Gecode {
namespace Float {
441 class FloatVarImpConf {
468#ifdef GECODE_HAS_INT_VARS
469namespace Gecode {
namespace Int {
498 return ((me_c >> (me2 << 3)) >> (me1 << 1)) & 3;
544#ifdef GECODE_HAS_INT_VARS
545namespace Gecode {
namespace Int {
567#ifdef GECODE_HAS_SET_VARS
568namespace Gecode {
namespace Set {
672 return me_c[me1][me2];
835#ifdef GECODE_HAS_FLOAT_VARS
836namespace Gecode {
namespace Float {
856 return ((me_c >> (me2 << 3)) >> (me1 << 1)) & 3;
890#ifdef GECODE_HAS_INT_VARS
893#ifdef GECODE_HAS_INT_VARS
896#ifdef GECODE_HAS_SET_VARS
899#ifdef GECODE_HAS_FLOAT_VARS
Configuration for all variable implementations.
static const int idx_d
Index for dispose.
static const int idx_c
Index for cloning.
static ModEventDelta med_combine(ModEventDelta med1, ModEventDelta med2)
Combine modification event delta med1 with med2.
Configuration for Float-variable implementations.
static const int med_lst
End of bits for modification event delta.
static const int idx_d
Index for disposal.
static bool med_update(Gecode::ModEventDelta &med, Gecode::ModEvent me)
Update modification even delta med by me, return true on change.
static const int med_mask
Bitmask for modification event delta.
static const int idx_c
Index for cloning.
static Gecode::ModEvent me_combine(Gecode::ModEvent me1, Gecode::ModEvent me2)
Combine modification events me1 and me2.
static const int med_fst
Start of bits for modification event delta.
static const int free_bits
Freely available bits.
static const Gecode::PropCond pc_max
Maximal propagation condition.
Configuration for Bool-variable implementations.
static const int med_mask
Bitmask for modification event delta.
static Gecode::ModEvent me_combine(Gecode::ModEvent me1, Gecode::ModEvent me2)
Combine modification events me1 and me2.
static const int idx_d
Index for disposal.
static const int med_fst
Start of bits for modification event delta.
static const int idx_c
Index for cloning.
static bool med_update(Gecode::ModEventDelta &med, Gecode::ModEvent me)
Update modification even delta med by me, return true on change.
static const Gecode::PropCond pc_max
Maximal propagation condition.
static const int free_bits
Freely available bits.
static const int med_lst
End of bits for modification event delta.
Configuration for Int-variable implementations.
static const int free_bits
Freely available bits.
static Gecode::ModEvent me_combine(Gecode::ModEvent me1, Gecode::ModEvent me2)
Combine modification events me1 and me2.
static const Gecode::PropCond pc_max
Maximal propagation condition.
static const int idx_c
Index for cloning.
static const int med_fst
Start of bits for modification event delta.
static bool med_update(Gecode::ModEventDelta &med, Gecode::ModEvent me)
Update modification even delta med by me, return true on change.
static const int idx_d
Index for disposal.
static const int med_mask
Bitmask for modification event delta.
static const int med_lst
End of bits for modification event delta.
Configuration for Set-variable implementations.
static const int idx_c
Index for cloning.
static const Gecode::PropCond pc_max
Maximal propagation condition.
static const int med_lst
End of bits for modification event delta.
static const int free_bits
Freely available bits.
static bool med_update(Gecode::ModEventDelta &med, Gecode::ModEvent me)
Update modification even delta med by me, return true on change.
static const int med_mask
Bitmask for modification event delta.
static const int med_fst
Start of bits for modification event delta.
static const int idx_d
Index for disposal.
static Gecode::ModEvent me_combine(Gecode::ModEvent me1, Gecode::ModEvent me2)
Combine modification events me1 and me2.
int ModEventDelta
Modification event deltas.
const Gecode::PropCond PC_FLOAT_NONE
Propagation condition to be ignored (convenience)
const Gecode::ModEvent ME_FLOAT_VAL
Domain operation has resulted in a value (assigned variable)
const Gecode::PropCond PC_FLOAT_VAL
Propagate when a view becomes assigned (single value)
const Gecode::ModEvent ME_FLOAT_BND
Domain operation has changed the minimum or maximum of the domain.
const Gecode::ModEvent ME_FLOAT_NONE
Domain operation has not changed domain.
const Gecode::ModEvent ME_FLOAT_FAILED
Domain operation has resulted in failure.
const Gecode::PropCond PC_FLOAT_BND
Propagate when minimum or maximum of a view changes.
const Gecode::ModEvent ME_INT_BND
Domain operation has changed the minimum or maximum of the domain.
const Gecode::ModEvent ME_BOOL_NONE
Domain operation has not changed domain.
const Gecode::PropCond PC_INT_VAL
Propagate when a view becomes assigned (single value)
const Gecode::PropCond PC_BOOL_NONE
Propagation condition to be ignored (convenience)
const Gecode::PropCond PC_INT_BND
Propagate when minimum or maximum of a view changes.
const Gecode::ModEvent ME_BOOL_FAILED
Domain operation has resulted in failure.
const Gecode::ModEvent ME_INT_FAILED
Domain operation has resulted in failure.
const Gecode::ModEvent ME_BOOL_VAL
Domain operation has resulted in a value (assigned variable)
const Gecode::PropCond PC_BOOL_VAL
Propagate when a view becomes assigned (single value)
const Gecode::PropCond PC_INT_NONE
Propagation condition to be ignored (convenience)
const Gecode::PropCond PC_INT_DOM
Propagate when domain changes.
const Gecode::ModEvent ME_INT_VAL
Domain operation has resulted in a value (assigned variable)
const Gecode::ModEvent ME_INT_DOM
Domain operation has changed the domain.
const Gecode::ModEvent ME_INT_NONE
Domain operation has not changed domain.
const Gecode::ModEvent ME_SET_CLUB
Domain operation has changed the least upper bound and the cardinality.
const Gecode::ModEvent ME_SET_NONE
Domain operation has not changed domain.
const Gecode::ModEvent ME_SET_VAL
Domain operation has resulted in a value (assigned variable)
const Gecode::ModEvent ME_SET_GLB
Domain operation has changed the greatest lower bound.
const Gecode::ModEvent ME_SET_CGLB
Domain operation has changed the greatest lower bound and the cardinality.
const Gecode::PropCond PC_SET_CARD
Propagate when the cardinality of a view changes.
const Gecode::PropCond PC_SET_CLUB
Propagate when the cardinality or the least upper bound of a view changes.
const Gecode::ModEvent ME_SET_CARD
Domain operation has changed the variable cardinality.
const Gecode::PropCond PC_SET_VAL
Propagate when a view becomes assigned (single value)
const Gecode::PropCond PC_SET_ANY
Propagate when any bound or the cardinality of a view changes.
const Gecode::ModEvent ME_SET_LUB
Domain operation has changed the least upper bound.
const Gecode::ModEvent ME_SET_BB
Domain operation has changed both greatest lower and least upper bound.
const Gecode::ModEvent ME_SET_FAILED
Domain operation has resulted in failure.
const Gecode::ModEvent ME_SET_CBB
Domain operation has changed both the greatest lower bound and the least upper bound,...
const Gecode::PropCond PC_SET_CGLB
Propagate when the cardinality or the greatest lower bound of a view changes.
const Gecode::PropCond PC_SET_NONE
Propagation condition to be ignored (convenience)
Gecode toplevel namespace
const PropCond PC_GEN_ASSIGNED
Propagation condition for an assigned variable.
const ModEvent ME_GEN_NONE
Generic modification event: no modification.
const ModEvent ME_GEN_FAILED
Generic modification event: failed variable.
int PropCond
Type for propagation conditions.
const ModEvent ME_GEN_ASSIGNED
Generic modification event: variable is assigned a value.
const PropCond PC_GEN_NONE
Propagation condition to be ignored (convenience)
int ModEvent
Type for modification events.
#define GECODE_NEVER
Assert that this command is never executed.