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
|
Domain operation has resulted in failure.
|
|
Domain operation has not changed domain.
|
|
Domain operation has resulted in a value (assigned variable).
|
|
Domain operation has changed the minimum or maximum of the domain. Note that this implies that the domain has not resulted in a value. |
|
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. |
|
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. |
|
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. |
|
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. |