Gecode::Int::BoolVarImpConf Class Reference

Configuration for Bool-variable implementations. More...

#include <var-type.hpp>

List of all members.

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 293 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 463 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 467 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 296 of file var-type.hpp.

const int Gecode::Int::BoolVarImpConf::idx_d = Gecode::Int::IntVarImpConf::idx_d [static]

Index for disposal.

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

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

Maximal propagation condition.

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

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

Freely available bits.

Definition at line 302 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 304 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 306 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 308 of file var-type.hpp.

---

The documentation for this class was generated from the following file:

• gecode/kernel/var-type.hpp