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

Variables

const Gecode::ModEvent Gecode::Int::ME_INT_FAILED = Gecode::ME_GEN_FAILED
 Domain operation has resulted in failure. More...
 
const Gecode::ModEvent Gecode::Int::ME_INT_NONE = Gecode::ME_GEN_NONE
 Domain operation has not changed domain. More...
 
const Gecode::ModEvent Gecode::Int::ME_INT_VAL = Gecode::ME_GEN_ASSIGNED
 Domain operation has resulted in a value (assigned variable) More...
 
const Gecode::ModEvent Gecode::Int::ME_INT_BND = Gecode::ME_GEN_ASSIGNED + 1
 Domain operation has changed the minimum or maximum of the domain. More...
 
const Gecode::ModEvent Gecode::Int::ME_INT_DOM = Gecode::ME_GEN_ASSIGNED + 2
 Domain operation has changed the domain. More...
 
const Gecode::PropCond Gecode::Int::PC_INT_NONE = Gecode::PC_GEN_NONE
 Propagation condition to be ignored (convenience) More...
 
const Gecode::PropCond Gecode::Int::PC_INT_VAL = Gecode::PC_GEN_ASSIGNED
 Propagate when a view becomes assigned (single value) More...
 
const Gecode::PropCond Gecode::Int::PC_INT_BND = Gecode::PC_GEN_ASSIGNED + 1
 Propagate when minimum or maximum of a view changes. More...
 
const Gecode::PropCond Gecode::Int::PC_INT_DOM = Gecode::PC_GEN_ASSIGNED + 2
 Propagate when domain changes. More...
 
const Gecode::ModEvent Gecode::Int::ME_BOOL_FAILED = Gecode::ME_GEN_FAILED
 Domain operation has resulted in failure. More...
 
const Gecode::ModEvent Gecode::Int::ME_BOOL_NONE = Gecode::ME_GEN_NONE
 Domain operation has not changed domain. More...
 
const Gecode::ModEvent Gecode::Int::ME_BOOL_VAL = Gecode::ME_GEN_ASSIGNED
 Domain operation has resulted in a value (assigned variable) More...
 
const Gecode::PropCond Gecode::Int::PC_BOOL_NONE = Gecode::PC_GEN_NONE
 Propagation condition to be ignored (convenience) More...
 
const Gecode::PropCond Gecode::Int::PC_BOOL_VAL = Gecode::PC_GEN_ASSIGNED
 Propagate when a view becomes assigned (single value) More...
 

Detailed Description

Variable Documentation

const Gecode::ModEvent Gecode::Int::ME_INT_FAILED = Gecode::ME_GEN_FAILED

Domain operation has resulted in failure.

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

const Gecode::ModEvent Gecode::Int::ME_INT_NONE = Gecode::ME_GEN_NONE

Domain operation has not changed domain.

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

const Gecode::ModEvent Gecode::Int::ME_INT_VAL = Gecode::ME_GEN_ASSIGNED

Domain operation has resulted in a value (assigned variable)

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

const Gecode::ModEvent Gecode::Int::ME_INT_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_INT_BND modification event.

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

const Gecode::ModEvent Gecode::Int::ME_INT_DOM = Gecode::ME_GEN_ASSIGNED + 2

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.

const Gecode::PropCond Gecode::Int::PC_INT_NONE = Gecode::PC_GEN_NONE

Propagation condition to be ignored (convenience)

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

const Gecode::PropCond Gecode::Int::PC_INT_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_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.

const Gecode::PropCond Gecode::Int::PC_INT_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_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.

const Gecode::PropCond Gecode::Int::PC_INT_DOM = Gecode::PC_GEN_ASSIGNED + 2

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.

const Gecode::ModEvent Gecode::Int::ME_BOOL_FAILED = Gecode::ME_GEN_FAILED

Domain operation has resulted in failure.

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

const Gecode::ModEvent Gecode::Int::ME_BOOL_NONE = Gecode::ME_GEN_NONE

Domain operation has not changed domain.

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

const Gecode::ModEvent Gecode::Int::ME_BOOL_VAL = Gecode::ME_GEN_ASSIGNED

Domain operation has resulted in a value (assigned variable)

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

const Gecode::PropCond Gecode::Int::PC_BOOL_NONE = Gecode::PC_GEN_NONE

Propagation condition to be ignored (convenience)

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

const Gecode::PropCond Gecode::Int::PC_BOOL_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_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.