var-type.hpp File Reference


Classes
class	Gecode::Int::IntVarImpConf
	Configuration for Int-variable implementations. More...
class	Gecode::Int::BoolVarImpConf
	Configuration for Bool-variable implementations. More...
class	Gecode::Set::SetVarImpConf
	Dummy configuration for Set-variable implementations. More...
class	Gecode::AllVarConf
	Configuration for all variable implementations. More...
Namespaces
namespace	Gecode
	Gecode toplevel namespace.
namespace	Gecode::Int
	Finite domain integers.
namespace	Gecode::Set
	Finite integer sets.
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_NONE = Gecode::PC_GEN_NONE
	Propagation condition to be ignored (convenience).
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.
const Gecode::ModEvent	Gecode::Int::ME_BOOL_FAILED = Gecode::ME_GEN_FAILED
	Domain operation has resulted in failure.
const Gecode::ModEvent	Gecode::Int::ME_BOOL_NONE = Gecode::ME_GEN_NONE
	Domain operation has not changed domain.
const Gecode::ModEvent	Gecode::Int::ME_BOOL_VAL = Gecode::ME_GEN_ASSIGNED
	Domain operation has resulted in a value (assigned variable).
const Gecode::PropCond	Gecode::Int::PC_BOOL_NONE = Gecode::PC_GEN_NONE
	Propagation condition to be ignored (convenience).
const Gecode::PropCond	Gecode::Int::PC_BOOL_VAL = Gecode::PC_GEN_ASSIGNED
	Propagate when a view becomes assigned (single value).

var-type.hpp File Reference

Classes

Namespaces

Variables