main page modules namespaces classes files
Gecode home

search for 

Integer modification events and propagation conditions
[Programming integer actors]

Collaboration diagram for Integer modification events and propagation conditions:

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.

---

Variable Documentation

const Gecode::ModEvent Gecode::Int::ME_INT_FAILED = Gecode::ME_GEN_FAILED

Domain operation has resulted in failure. Definition at line 35 of file imp-hdr.icc.

const Gecode::ModEvent Gecode::Int::ME_INT_NONE = Gecode::ME_GEN_NONE

Domain operation has not changed domain. Definition at line 38 of file imp-hdr.icc.

const Gecode::ModEvent Gecode::Int::ME_INT_VAL = Gecode::ME_GEN_ASSIGNED

Domain operation has resulted in a value (assigned variable). Definition at line 41 of file imp-hdr.icc.

const Gecode::ModEvent Gecode::Int::ME_INT_BND = Gecode::ME_GEN_ASSIGNED + 1

Domain operation has changed the minimum or maximum of the domain. Note that this implies that the domain has not resulted in a value. If a propagator subscribes to this variable, it will be processed assuming a ME_INT_BND modification event. Definition at line 51 of file imp-hdr.icc.

const Gecode::ModEvent Gecode::Int::ME_INT_DOM = Gecode::ME_GEN_ASSIGNED + 2

Domain operation has changed the domain. Note that this implies that the domain has not resulted in a value and that also the minimum and maximum of the domain have not changed. Definition at line 61 of file imp-hdr.icc.

const Gecode::PropCond Gecode::Int::PC_INT_VAL = Gecode::PC_GEN_ASSIGNED

Propagate when a view becomes assigned (single value). If a propagator p depends on a view x with propagation condition PC_INT_VAL, then p is propagated when a domain update operation on x returns the modification event ME_INT_VAL. Definition at line 70 of file imp-hdr.icc.

const Gecode::PropCond Gecode::Int::PC_INT_BND = Gecode::PC_GEN_ASSIGNED + 1

Propagate when minimum or maximum of a view changes. If a propagator p depends on a view x with propagation condition PC_INT_BND, then p is propagated when a domain update operation on x returns the modification events ME_INT_VAL or ME_INT_BND. Definition at line 80 of file imp-hdr.icc.

const Gecode::PropCond Gecode::Int::PC_INT_DOM = Gecode::PC_GEN_ASSIGNED + 2

Propagate when domain changes. If a propagator p depends on a view x with propagation condition PC_INT_DOM, then p is propagated when a domain update operation on x returns the modification event ME_INT_VAL, ME_INT_BND, or ME_INT_DOM. Definition at line 90 of file imp-hdr.icc.