Generated on Fri Oct 19 11:25:36 2018 for Gecode by doxygen 1.6.3

Integer modification events and propagation conditions
[Programming integer actors]

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).

Variable Documentation

Domain operation has resulted in failure.

Definition at line 52 of file var-type.hpp.

Domain operation has not changed domain.

Definition at line 54 of file var-type.hpp.

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

Definition at line 56 of file var-type.hpp.

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 65 of file var-type.hpp.

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 72 of file var-type.hpp.

Propagation condition to be ignored (convenience).

Definition at line 74 of file var-type.hpp.

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 82 of file var-type.hpp.

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 91 of file var-type.hpp.

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 100 of file var-type.hpp.

Domain operation has resulted in failure.

Definition at line 112 of file var-type.hpp.

Domain operation has not changed domain.

Definition at line 114 of file var-type.hpp.

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

Definition at line 116 of file var-type.hpp.

Propagation condition to be ignored (convenience).

Definition at line 118 of file var-type.hpp.

Propagate when a view becomes assigned (single value).

If a propagator p depends on a view x with propagation condition PC_BOOL_VAL, then p is propagated when a domain update operation on x returns the modification event ME_BOOL_VAL.

Definition at line 126 of file var-type.hpp.