Generic modification events and propagation conditions
[Programming variables]
Collaboration diagram for Generic modification events and propagation conditions:
|
Detailed Description
Predefined modification events must be taken into account by variable types.
Typedefs | |
| typedef int | Gecode::ModEvent |
| Type for modification events. | |
| typedef int | Gecode::PropCond |
| Type for propagation conditions. | |
Variables | |
| const ModEvent | Gecode::ME_GEN_FAILED = -1 |
| Generic modification event: failed variable. | |
| const ModEvent | Gecode::ME_GEN_NONE = 0 |
| Generic modification event: no modification. | |
| const ModEvent | Gecode::ME_GEN_ASSIGNED = 1 |
| Generic modification event: variable is assigned a value. | |
| const ModEvent | Gecode::ME_GEN_MAX = 15 |
| Generic modification event: maximal modification event. | |
| const PropCond | Gecode::PC_GEN_ASSIGNED = 0 |
| Propagation condition for an assigned variable. | |
| const PropCond | Gecode::PC_GEN_MAX = 15 |
| Propagation conditions must be between 0 and 15. | |
Typedef Documentation
|
|
Type for modification events.
|
|
|
Type for propagation conditions.
|
Variable Documentation
|
|
Generic modification event: failed variable.
|
|
|
Generic modification event: no modification.
|
|
|
Generic modification event: variable is assigned a value.
|
|
|
Generic modification event: maximal modification event.
|
|
|
Propagation condition for an assigned variable.
|
|
|
Propagation conditions must be between 0 and 15.
|