Programming set actors
[Programming actors]
Collaboration diagram for Programming set actors:
|
Enumeration Type Documentation
Modification events for set variables.
- ME_SET_FAILED: Domain operation has resulted in failure
- ME_SET_NONE: Domain operation has not changed domain
- ME_SET_VAL: Domain operation has resulted in a value (assigned variable)
- ME_SET_CARD: Domain operation has changed the variable cardinality Note that this implies that the domain has not resulted in a value.
- ME_SET_LUB: 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.
- ME_SET_GLB: 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.
- ME_SET_BB: 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.
- ME_SET_CLUB: 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.
- ME_SET_CGLB: 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.
- ME_SET_CBB: 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. If a propagator subscribes to this variable, it will be processed assuming a ME_SET_CBB modification event.
- Enumerator:
-
ME_SET_FAILED ME_SET_NONE ME_SET_VAL ME_SET_CARD ME_SET_LUB ME_SET_GLB ME_SET_BB ME_SET_CLUB ME_SET_CGLB swigValue swigValue swigValue swigValue
Definition at line 46 of file SetModEvent.java.
Propagation conditions for set variables.
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.
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.
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.
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.
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 43 of file SetPropCond.java.