Configuration for Set-variable implementations. More...
#include <var-type.hpp>
Static Public Member Functions | |
static Gecode::ModEvent | me_combine (Gecode::ModEvent me1, Gecode::ModEvent me2) |
Combine modification events me1 and me2. More... | |
static bool | med_update (Gecode::ModEventDelta &med, Gecode::ModEvent me) |
Update modification even delta med by me, return true on change. More... | |
Static Public Attributes | |
static const int | idx_c = Gecode::Int::BoolVarImpConf::idx_c+1 |
Index for cloning. More... | |
static const int | idx_d = Gecode::Int::BoolVarImpConf::idx_d |
Index for disposal. More... | |
static const Gecode::PropCond | pc_max = PC_SET_ANY |
Maximal propagation condition. More... | |
static const int | free_bits = 0 |
Freely available bits. More... | |
static const int | med_fst = Gecode::Int::BoolVarImpConf::med_lst |
Start of bits for modification event delta. More... | |
static const int | med_lst = med_fst + 4 |
End of bits for modification event delta. More... | |
static const int | med_mask = ((1 << 4) - 1) << med_fst |
Bitmask for modification event delta. More... | |
Configuration for Set-variable implementations.
Definition at line 377 of file var-type.hpp.
|
inlinestatic |
Combine modification events me1 and me2.
Definition at line 570 of file var-type.hpp.
|
inlinestatic |
Update modification even delta med by me, return true on change.
Definition at line 675 of file var-type.hpp.
|
static |
Index for cloning.
Definition at line 380 of file var-type.hpp.
|
static |
Index for disposal.
Definition at line 382 of file var-type.hpp.
|
static |
Maximal propagation condition.
Definition at line 384 of file var-type.hpp.
|
static |
Freely available bits.
Definition at line 386 of file var-type.hpp.
|
static |
Start of bits for modification event delta.
Definition at line 388 of file var-type.hpp.
|
static |
End of bits for modification event delta.
Definition at line 390 of file var-type.hpp.
|
static |
Bitmask for modification event delta.
Definition at line 392 of file var-type.hpp.