Configuration class for variable implementations without index structure. More...
#include <core.hpp>
Static Public Member Functions | |
static Gecode::ModEvent | me_combine (ModEvent me1, ModEvent me2) |
Combine modification events me1 and me2. | |
static bool | med_update (ModEventDelta &med, ModEvent me) |
Update modification even delta med by me, return true on change. | |
Static Public Attributes | |
static const int | idx_c = -1 |
Index for update. | |
static const int | idx_d = -1 |
Index for disposal. | |
static const PropCond | pc_max = PC_GEN_ASSIGNED |
Maximal propagation condition. | |
static const int | free_bits = 0 |
Freely available bits. | |
static const int | med_fst = 0 |
Start of bits for modification event delta. | |
static const int | med_lst = 0 |
End of bits for modification event delta. | |
static const int | med_mask = 0 |
Bitmask for modification event delta. |
Configuration class for variable implementations without index structure.
bool Gecode::NoIdxVarImpConf::med_update | ( | ModEventDelta & | med, |
ModEvent | me | ||
) | [inline, static] |
const int Gecode::NoIdxVarImpConf::idx_c = -1 [static] |
const int Gecode::NoIdxVarImpConf::idx_d = -1 [static] |
const PropCond Gecode::NoIdxVarImpConf::pc_max = PC_GEN_ASSIGNED [static] |
const int Gecode::NoIdxVarImpConf::free_bits = 0 [static] |
const int Gecode::NoIdxVarImpConf::med_fst = 0 [static] |
const int Gecode::NoIdxVarImpConf::med_lst = 0 [static] |
const int Gecode::NoIdxVarImpConf::med_mask = 0 [static] |