Programming integer actors
[Programming actors]
Collaboration diagram for Programming integer actors:
|
Modules | |
| Integer views | |
| Integer propagators and branchings compute with integer views. | |
Classes | |
| interface | org.gecode.IntView |
| Interface for integer variable views. More... | |
| class | org.gecode.OffsetView< IV extends IntView > |
| This is an offset wrapper for an integer view. More... | |
Enumerations | |
| enum | org::gecode.IntModEvent { org::gecode.ME_INT_FAILED, org::gecode.ME_INT_NONE, org::gecode.ME_INT_VAL, org::gecode.ME_INT_BND, org::gecode.swigValue, org::gecode.swigValue, org::gecode.swigValue, org::gecode.swigValue } |
| Modification events for integer variables. More... | |
| enum | org::gecode.IntPropCond { org::gecode.PC_INT_VAL, org::gecode.PC_INT_BND, org::gecode.swigValue, org::gecode.swigValue, org::gecode.swigValue, org::gecode.swigValue } |
| Propagation conditions for integer variables. More... | |
Enumeration Type Documentation
Modification events for integer variables.
- ME_INT_FAILED: Domain operation has resulted in failure
- ME_INT_NONE: Domain operation has not changed domain
- ME_INT_VAL: Domain operation has resulted in a value (assigned variable)
- ME_INT_BND: Domain operation has changed the minimum or maximum of the domain 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 modification event.
- ME_INT_DOM: 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 28 of file IntModEvent.java.
Propagation conditions for integer variables.
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.
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.
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 31 of file IntPropCond.java.