Integer modification events and propagation conditions
[Programming integer actors]
Collaboration diagram for Integer modification events and propagation conditions:
Variable Documentation
Domain operation has resulted in failure.
Definition at line 37 of file var.icc.
Domain operation has not changed domain.
Definition at line 39 of file var.icc.
Domain operation has resulted in a value (assigned variable).
Definition at line 41 of file var.icc.
Domain operation has changed the minimum or maximum of the domain.
Note that this implies that the domain has not resulted in a value.
Definition at line 47 of file var.icc.
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 54 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_INT_VAL, then p is propagated when a domain update operation on x returns the modification event ME_INT_VAL.
Definition at line 63 of file var.icc.
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 72 of file var.icc.
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 81 of file var.icc.