Generated on Sun Feb 17 15:24:49 2019 for Gecode by doxygen 1.6.3

Float modification events and propagation conditions
[Programming float actors]

Variables

const Gecode::ModEvent Gecode::Float::ME_FLOAT_FAILED = Gecode::ME_GEN_FAILED
 Domain operation has resulted in failure.
const Gecode::ModEvent Gecode::Float::ME_FLOAT_NONE = Gecode::ME_GEN_NONE
 Domain operation has not changed domain.
const Gecode::ModEvent Gecode::Float::ME_FLOAT_VAL = Gecode::ME_GEN_ASSIGNED
 Domain operation has resulted in a value (assigned variable).
const Gecode::ModEvent Gecode::Float::ME_FLOAT_BND = Gecode::ME_GEN_ASSIGNED + 1
 Domain operation has changed the minimum or maximum of the domain.
const Gecode::PropCond Gecode::Float::PC_FLOAT_NONE = Gecode::PC_GEN_NONE
 Propagation condition to be ignored (convenience).
const Gecode::PropCond Gecode::Float::PC_FLOAT_VAL = Gecode::PC_GEN_ASSIGNED
 Propagate when a view becomes assigned (single value).
const Gecode::PropCond Gecode::Float::PC_FLOAT_BND = Gecode::PC_GEN_ASSIGNED + 1
 Propagate when minimum or maximum of a view changes.

Variable Documentation

Domain operation has resulted in failure.

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

Domain operation has not changed domain.

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

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

Definition at line 264 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_FLOAT_BND modification event.

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

Propagation condition to be ignored (convenience).

Definition at line 275 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_FLOAT_VAL, then p is propagated when a domain update operation on x returns the modification event ME_FLOAT_VAL.

Definition at line 283 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_FLOAT_BND, then p is propagated when a domain update operation on x returns the modification events ME_FLOAT_VAL or ME_FLOAT_BND.

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