imp-hdr.icc File Reference


Namespaces
namespace	Gecode
namespace	Gecode::Int
Classes
class	Gecode::Int::IntMeDiff
	Modification event difference for Int-variable implementations. More...
class	Gecode::Int::IntVarImpBase
	Base-class for Int-variable implementations. More...
class	Gecode::Int::IntVarImpBase::Processor
	Variable procesor for variables of this type. More...
Variables
const Gecode::ModEvent	Gecode::Int::ME_INT_FAILED = Gecode::ME_GEN_FAILED
	Domain operation has resulted in failure.
const Gecode::ModEvent	Gecode::Int::ME_INT_NONE = Gecode::ME_GEN_NONE
	Domain operation has not changed domain.
const Gecode::ModEvent	Gecode::Int::ME_INT_VAL = Gecode::ME_GEN_ASSIGNED
	Domain operation has resulted in a value (assigned variable).
const Gecode::ModEvent	Gecode::Int::ME_INT_BND = Gecode::ME_GEN_ASSIGNED + 1
	Domain operation has changed the minimum or maximum of the domain.
const Gecode::ModEvent	Gecode::Int::ME_INT_DOM = Gecode::ME_GEN_ASSIGNED + 2
	Domain operation has changed the domain.
const Gecode::PropCond	Gecode::Int::PC_INT_VAL = Gecode::PC_GEN_ASSIGNED
	Propagate when a view becomes assigned (single value).
const Gecode::PropCond	Gecode::Int::PC_INT_BND = Gecode::PC_GEN_ASSIGNED + 1
	Propagate when minimum or maximum of a view changes.
const Gecode::PropCond	Gecode::Int::PC_INT_DOM = Gecode::PC_GEN_ASSIGNED + 2
	Propagate when domain changes.

Namespaces