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

Domain operation has resulted in failure.
Definition at line 35 of file imphdr.icc. 

Domain operation has not changed domain.
Definition at line 38 of file imphdr.icc. 

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

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 imphdr.icc. 

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 imphdr.icc. 

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 imphdr.icc. 

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 imphdr.icc. 

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 imphdr.icc. 