# 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 52 of file var-type.hpp.

Domain operation has not changed domain.

Definition at line 54 of file var-type.hpp.

Domain operation has resulted in a value (assigned variable).

Definition at line 56 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 65 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 72 of file var-type.hpp.

Propagation condition to be ignored (convenience).

Definition at line 74 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 82 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 91 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 100 of file var-type.hpp.

Domain operation has resulted in failure.

Definition at line 112 of file var-type.hpp.

Domain operation has not changed domain.

Definition at line 114 of file var-type.hpp.

Domain operation has resulted in a value (assigned variable).

Definition at line 116 of file var-type.hpp.

Propagation condition to be ignored (convenience).

Definition at line 118 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 126 of file var-type.hpp.