Generated on Wed Jan 4 17:49:17 2006 for Gecode by doxygen 1.4.6

Set modification events and propagation conditions
[Programming set actors]

Collaboration diagram for Set modification events and propagation conditions:


Variables

const ModEvent Gecode::Set::ME_SET_FAILED = ME_GEN_FAILED
 Domain operation has resulted in failure.
const ModEvent Gecode::Set::ME_SET_NONE = ME_GEN_NONE
 Domain operation has not changed domain.
const ModEvent Gecode::Set::ME_SET_VAL = ME_GEN_ASSIGNED
 Domain operation has resulted in a value (assigned variable).
const ModEvent Gecode::Set::ME_SET_CARD = ME_SET_VAL + 1
 Domain operation has changed the variable cardinality.
const ModEvent Gecode::Set::ME_SET_LUB = ME_SET_CARD + 1
 Domain operation has changed the least upper bound.
const ModEvent Gecode::Set::ME_SET_GLB = ME_SET_LUB + 1
 Domain operation has changed the greatest lower bound.
const ModEvent Gecode::Set::ME_SET_BB = ME_SET_GLB + 1
 Domain operation has changed both greatest lower and least upper bound.
const ModEvent Gecode::Set::ME_SET_CLUB = ME_SET_BB + 1
 Domain operation has changed the least upper bound and the cardinality.
const ModEvent Gecode::Set::ME_SET_CGLB = ME_SET_CLUB + 1
 Domain operation has changed the greatest lower bound and the cardinality.
const ModEvent Gecode::Set::ME_SET_CBB = ME_SET_CGLB + 1
 Domain operation has changed both the greatest lower bound and the least upper bound, as well as the cardinality.
const PropCond Gecode::Set::PC_SET_VAL = PC_GEN_ASSIGNED
 Propagate when a view becomes assigned (single value).
const PropCond Gecode::Set::PC_SET_CARD = PC_SET_VAL + 1
 Propagate when the cardinality of a view changes.
const PropCond Gecode::Set::PC_SET_CGLB = PC_SET_CARD + 1
 Propagate when the cardinality or the greatest lower bound of a view changes.
const PropCond Gecode::Set::PC_SET_CLUB = PC_SET_CGLB + 1
 Propagate when the cardinality or the least upper bound of a view changes.
const PropCond Gecode::Set::PC_SET_ANY = PC_SET_CLUB + 1
 Propagate when any bound or the cardinality of a view changes.


Variable Documentation

const ModEvent Gecode::Set::ME_SET_FAILED = ME_GEN_FAILED
 

Domain operation has resulted in failure.

Definition at line 43 of file var.icc.

const ModEvent Gecode::Set::ME_SET_NONE = ME_GEN_NONE
 

Domain operation has not changed domain.

Definition at line 45 of file var.icc.

const ModEvent Gecode::Set::ME_SET_VAL = ME_GEN_ASSIGNED
 

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

Definition at line 47 of file var.icc.

const ModEvent Gecode::Set::ME_SET_CARD = ME_SET_VAL + 1
 

Domain operation has changed the variable cardinality.

Note that this implies that the domain has not resulted in a value.

Definition at line 54 of file var.icc.

const ModEvent Gecode::Set::ME_SET_LUB = ME_SET_CARD + 1
 

Domain operation has changed the least upper bound.

Note that this implies that the domain has not resulted in a value and that also neither cardinality nor the greatest lower bound have changed.

Definition at line 62 of file var.icc.

const ModEvent Gecode::Set::ME_SET_GLB = ME_SET_LUB + 1
 

Domain operation has changed the greatest lower bound.

Note that this implies that the domain has not resulted in a value and that also neither cardinality nor the least upper bound have changed.

Definition at line 70 of file var.icc.

const ModEvent Gecode::Set::ME_SET_BB = ME_SET_GLB + 1
 

Domain operation has changed both greatest lower and least upper bound.

Note that this implies that the domain has not resulted in a value and that also the cardinality has not changed.

Definition at line 78 of file var.icc.

const ModEvent Gecode::Set::ME_SET_CLUB = ME_SET_BB + 1
 

Domain operation has changed the least upper bound and the cardinality.

Note that this implies that the domain has not resulted in a value and that also the greatest lower bound has not changed.

Definition at line 85 of file var.icc.

const ModEvent Gecode::Set::ME_SET_CGLB = ME_SET_CLUB + 1
 

Domain operation has changed the greatest lower bound and the cardinality.

Note that this implies that the domain has not resulted in a value and that also the least upper bound has not changed.

Definition at line 92 of file var.icc.

const ModEvent Gecode::Set::ME_SET_CBB = ME_SET_CGLB + 1
 

Domain operation has changed both the greatest lower bound and the least upper bound, as well as the cardinality.

Note that this implies that the domain has not resulted in a value.

Definition at line 99 of file var.icc.

const PropCond Gecode::Set::PC_SET_VAL = PC_GEN_ASSIGNED
 

Propagate when a view becomes assigned (single value).

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

Definition at line 110 of file var.icc.

const PropCond Gecode::Set::PC_SET_CARD = PC_SET_VAL + 1
 

Propagate when the cardinality of a view changes.

If a propagator p depends on a view x with propagation condition PC_SET_CARD, then p is propagated when a domain update operation on x returns the modification event ME_SET_VAL, ME_SET_CARD, ME_SET_CGLB, ME_SET_CLUB, or ME_SET_CBB.

Definition at line 119 of file var.icc.

const PropCond Gecode::Set::PC_SET_CGLB = PC_SET_CARD + 1
 

Propagate when the cardinality or the greatest lower bound of a view changes.

If a propagator p depends on a view x with propagation condition PC_SET_CGLB, then p is propagated when a domain update operation on x returns the modification event ME_SET_VAL, ME_SET_GLB, ME_SET_BB, ME_SET_CARD, ME_SET_CGLB, ME_SET_CLUB, or ME_SET_CBB.

Definition at line 130 of file var.icc.

const PropCond Gecode::Set::PC_SET_CLUB = PC_SET_CGLB + 1
 

Propagate when the cardinality or the least upper bound of a view changes.

If a propagator p depends on a view x with propagation condition PC_SET_CLUB, then p is propagated when a domain update operation on x returns the modification event ME_SET_VAL, ME_SET_LUB, ME_SET_BB, ME_SET_CARD, ME_SET_CGLB, ME_SET_CLUB, or ME_SET_CBB.

Definition at line 141 of file var.icc.

const PropCond Gecode::Set::PC_SET_ANY = PC_SET_CLUB + 1
 

Propagate when any bound or the cardinality of a view changes.

If a propagator p depends on a view x with propagation condition PC_SET_ANY, then p is propagated when a domain update operation on x returns any modification event but ME_SET_FAILED and ME_SET_NONE.

Definition at line 151 of file var.icc.