Integer modification events and propagation conditions
[Programming integer actors]
Variables | |
| const Gecode::ModEvent | Gecode::Int::ME_INT_FAILED = Gecode::ME_GEN_FAILED |
| Domain operation has resulted in failure. | |
| const Gecode::ModEvent | Gecode::Int::ME_INT_NONE = Gecode::ME_GEN_NONE |
| Domain operation has not changed domain. | |
| const Gecode::ModEvent | Gecode::Int::ME_INT_VAL = Gecode::ME_GEN_ASSIGNED |
| Domain operation has resulted in a value (assigned variable). | |
| const Gecode::ModEvent | Gecode::Int::ME_INT_BND = Gecode::ME_GEN_ASSIGNED + 1 |
| Domain operation has changed the minimum or maximum of the domain. | |
| const Gecode::ModEvent | Gecode::Int::ME_INT_DOM = Gecode::ME_GEN_ASSIGNED + 2 |
| Domain operation has changed the domain. | |
| const Gecode::PropCond | Gecode::Int::PC_INT_NONE = Gecode::PC_GEN_NONE |
| Propagation condition to be ignored (convenience). | |
| const Gecode::PropCond | Gecode::Int::PC_INT_VAL = Gecode::PC_GEN_ASSIGNED |
| Propagate when a view becomes assigned (single value). | |
| const Gecode::PropCond | Gecode::Int::PC_INT_BND = Gecode::PC_GEN_ASSIGNED + 1 |
| Propagate when minimum or maximum of a view changes. | |
| const Gecode::PropCond | Gecode::Int::PC_INT_DOM = Gecode::PC_GEN_ASSIGNED + 2 |
| Propagate when domain changes. | |
| const Gecode::ModEvent | Gecode::Int::ME_BOOL_FAILED = Gecode::ME_GEN_FAILED |
| Domain operation has resulted in failure. | |
| const Gecode::ModEvent | Gecode::Int::ME_BOOL_NONE = Gecode::ME_GEN_NONE |
| Domain operation has not changed domain. | |
| const Gecode::ModEvent | Gecode::Int::ME_BOOL_VAL = Gecode::ME_GEN_ASSIGNED |
| Domain operation has resulted in a value (assigned variable). | |
| const Gecode::PropCond | Gecode::Int::PC_BOOL_NONE = Gecode::PC_GEN_NONE |
| Propagation condition to be ignored (convenience). | |
| const Gecode::PropCond | Gecode::Int::PC_BOOL_VAL = Gecode::PC_GEN_ASSIGNED |
| Propagate when a view becomes assigned (single value). | |
Variable Documentation
Domain operation has resulted in failure.
Definition at line 51 of file var-type.hpp.
Domain operation has not changed domain.
Definition at line 53 of file var-type.hpp.
Domain operation has resulted in a value (assigned variable).
Definition at line 55 of file var-type.hpp.
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 ME_INT_BND modification event.
Definition at line 64 of file var-type.hpp.
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 71 of file var-type.hpp.
Propagation condition to be ignored (convenience).
Definition at line 73 of file var-type.hpp.
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 81 of file var-type.hpp.
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 90 of file var-type.hpp.
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 99 of file var-type.hpp.
Domain operation has resulted in failure.
Definition at line 111 of file var-type.hpp.
Domain operation has not changed domain.
Definition at line 113 of file var-type.hpp.
Domain operation has resulted in a value (assigned variable).
Definition at line 115 of file var-type.hpp.
Propagation condition to be ignored (convenience).
Definition at line 117 of file var-type.hpp.
Propagate when a view becomes assigned (single value).
If a propagator p depends on a view x with propagation condition PC_BOOL_VAL, then p is propagated when a domain update operation on x returns the modification event ME_BOOL_VAL.
Definition at line 125 of file var-type.hpp.