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

const Gecode::ModEvent Gecode::Float::ME_FLOAT_FAILED = Gecode::ME_GEN_FAILED

Domain operation has resulted in failure.

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

const Gecode::ModEvent Gecode::Float::ME_FLOAT_NONE = Gecode::ME_GEN_NONE

Domain operation has not changed domain.

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

const Gecode::ModEvent Gecode::Float::ME_FLOAT_VAL = Gecode::ME_GEN_ASSIGNED

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

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

const Gecode::ModEvent Gecode::Float::ME_FLOAT_BND = Gecode::ME_GEN_ASSIGNED + 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.

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.

const Gecode::PropCond Gecode::Float::PC_FLOAT_NONE = Gecode::PC_GEN_NONE

Propagation condition to be ignored (convenience).

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

const Gecode::PropCond Gecode::Float::PC_FLOAT_VAL = Gecode::PC_GEN_ASSIGNED

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.

const Gecode::PropCond Gecode::Float::PC_FLOAT_BND = Gecode::PC_GEN_ASSIGNED + 1

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.