Generated on Sat Feb 7 2015 02:01:36 for Gecode by doxygen 1.8.9.1
Float modification events and propagation conditions

Variables

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

Detailed Description

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.