Set modification events and propagation conditions
[Programming set actors]
Collaboration diagram for Set modification events and propagation conditions:
Variable Documentation
Domain operation has resulted in failure.
Definition at line 43 of file var.icc.
Domain operation has not changed domain.
Definition at line 45 of file var.icc.
Domain operation has resulted in a value (assigned variable).
Definition at line 47 of file var.icc.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.