Generated on Tue Feb 11 2025 17:33:26 for Gecode by doxygen 1.12.0
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

◆ me_combine()

Gecode::ModEvent Gecode::Int::BoolVarImpConf::me_combine ( Gecode::ModEvent me1,
Gecode::ModEvent me2 )
inlinestatic

Combine modification events me1 and me2.

Definition at line 547 of file var-type.hpp.

◆ med_update()

bool Gecode::Int::BoolVarImpConf::med_update ( Gecode::ModEventDelta & med,
Gecode::ModEvent me )
inlinestatic

Update modification even delta med by me, return true on change.

Definition at line 551 of file var-type.hpp.

Member Data Documentation

◆ idx_c

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.

◆ idx_d

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.

◆ pc_max

const Gecode::PropCond Gecode::Int::BoolVarImpConf::pc_max = PC_BOOL_VAL
static

Maximal propagation condition.

Definition at line 345 of file var-type.hpp.

◆ free_bits

const int Gecode::Int::BoolVarImpConf::free_bits = 2
static

Freely available bits.

Definition at line 347 of file var-type.hpp.

◆ med_fst

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.

◆ med_lst

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.

◆ med_mask

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: