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
|
Domain operation has resulted in failure.
|
|
Domain operation has not changed domain.
|
|
Domain operation has resulted in a value (assigned variable).
|
|
Domain operation has changed the variable cardinality. Note that this implies that the domain has not resulted in a value. |
|
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. |
|
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. |
|
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. |
|
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. |
|
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. |
|
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. |
|
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. |
|
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. |
|
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. |
|
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. |
|
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. |