Generated on Wed Jan 4 17:49:17 2006 for Gecode by doxygen 1.4.6

Integer modification events and propagation conditions
[Programming integer actors]

Collaboration diagram for Integer modification events and propagation conditions:


Variables

const ModEvent Gecode::Int::ME_INT_FAILED = ME_GEN_FAILED
 Domain operation has resulted in failure.
const ModEvent Gecode::Int::ME_INT_NONE = ME_GEN_NONE
 Domain operation has not changed domain.
const ModEvent Gecode::Int::ME_INT_VAL = ME_GEN_ASSIGNED
 Domain operation has resulted in a value (assigned variable).
const ModEvent Gecode::Int::ME_INT_BND = ME_INT_VAL + 1
 Domain operation has changed the minimum or maximum of the domain.
const ModEvent Gecode::Int::ME_INT_DOM = ME_INT_BND + 1
 Domain operation has changed the domain.
const PropCond Gecode::Int::PC_INT_VAL = PC_GEN_ASSIGNED
 Propagate when a view becomes assigned (single value).
const PropCond Gecode::Int::PC_INT_BND = PC_INT_VAL + 1
 Propagate when minimum or maximum of a view changes.
const PropCond Gecode::Int::PC_INT_DOM = PC_INT_BND + 1
 Propagate when domain changes.


Variable Documentation

const ModEvent Gecode::Int::ME_INT_FAILED = ME_GEN_FAILED
 

Domain operation has resulted in failure.

Definition at line 37 of file var.icc.

const ModEvent Gecode::Int::ME_INT_NONE = ME_GEN_NONE
 

Domain operation has not changed domain.

Definition at line 39 of file var.icc.

const ModEvent Gecode::Int::ME_INT_VAL = ME_GEN_ASSIGNED
 

Domain operation has resulted in a value (assigned variable).

Definition at line 41 of file var.icc.

const ModEvent Gecode::Int::ME_INT_BND = ME_INT_VAL + 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.

Definition at line 47 of file var.icc.

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

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 54 of file var.icc.

const PropCond Gecode::Int::PC_INT_VAL = 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 63 of file var.icc.

const PropCond Gecode::Int::PC_INT_BND = PC_INT_VAL + 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 72 of file var.icc.

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

Propagate when domain changes.

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, ME_INT_BND, or ME_INT_DOM.

Definition at line 81 of file var.icc.