Gecode::Int::BoolVarImpConf Class Reference
Configuration for Bool-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. | |
static bool | med_update (Gecode::ModEventDelta &med, Gecode::ModEvent me) |
Update modification even delta med by me, return true on change. | |
Static Public Attributes | |
static const int | idx_c = Gecode::Int::IntVarImpConf::idx_c+1 |
Index for cloning. | |
static const int | idx_d = Gecode::Int::IntVarImpConf::idx_d |
Index for disposal. | |
static const Gecode::PropCond | pc_max = PC_BOOL_VAL |
Maximal propagation condition. | |
static const int | free_bits = 2 |
Freely available bits. | |
static const int | med_fst = Gecode::Int::IntVarImpConf::med_lst |
Start of bits for modification event delta. | |
static const int | med_lst = med_fst + 1 |
End of bits for modification event delta. | |
static const int | med_mask = ((1 << 1) - 1) << med_fst |
Bitmask for modification event delta. |
Detailed Description
Configuration for Bool-variable implementations.
Definition at line 338 of file var-type.hpp.
Member Function Documentation
Gecode::ModEvent Gecode::Int::BoolVarImpConf::me_combine | ( | Gecode::ModEvent | me1, | |
Gecode::ModEvent | me2 | |||
) | [inline, static] |
Combine modification events me1 and me2.
Definition at line 547 of file var-type.hpp.
bool Gecode::Int::BoolVarImpConf::med_update | ( | Gecode::ModEventDelta & | med, | |
Gecode::ModEvent | me | |||
) | [inline, static] |
Update modification even delta med by me, return true on change.
Definition at line 551 of file var-type.hpp.
Member Data Documentation
const int Gecode::Int::BoolVarImpConf::idx_c = Gecode::Int::IntVarImpConf::idx_c+1 [static] |
Index for cloning.
Definition at line 341 of file var-type.hpp.
const int Gecode::Int::BoolVarImpConf::idx_d = Gecode::Int::IntVarImpConf::idx_d [static] |
Index for disposal.
Definition at line 343 of file var-type.hpp.
const Gecode::PropCond Gecode::Int::BoolVarImpConf::pc_max = PC_BOOL_VAL [static] |
Maximal propagation condition.
Definition at line 345 of file var-type.hpp.
const int Gecode::Int::BoolVarImpConf::free_bits = 2 [static] |
Freely available bits.
Definition at line 347 of file var-type.hpp.
const int Gecode::Int::BoolVarImpConf::med_fst = Gecode::Int::IntVarImpConf::med_lst [static] |
Start of bits for modification event delta.
Definition at line 349 of file var-type.hpp.
const int Gecode::Int::BoolVarImpConf::med_lst = med_fst + 1 [static] |
End of bits for modification event delta.
Definition at line 351 of file var-type.hpp.
const int Gecode::Int::BoolVarImpConf::med_mask = ((1 << 1) - 1) << med_fst [static] |
Bitmask for modification event delta.
Definition at line 353 of file var-type.hpp.
The documentation for this class was generated from the following file:
- gecode/kernel/var-type.hpp