# Float modification events and propagation conditions

[Programming float actors]

## Variables | |

const Gecode::ModEvent | Gecode::Float::ME_FLOAT_FAILED = Gecode::ME_GEN_FAILED |

Domain operation has resulted in failure. | |

const Gecode::ModEvent | Gecode::Float::ME_FLOAT_NONE = Gecode::ME_GEN_NONE |

Domain operation has not changed domain. | |

const Gecode::ModEvent | Gecode::Float::ME_FLOAT_VAL = Gecode::ME_GEN_ASSIGNED |

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

const Gecode::ModEvent | Gecode::Float::ME_FLOAT_BND = Gecode::ME_GEN_ASSIGNED + 1 |

Domain operation has changed the minimum or maximum of the domain. | |

const Gecode::PropCond | Gecode::Float::PC_FLOAT_NONE = Gecode::PC_GEN_NONE |

Propagation condition to be ignored (convenience). | |

const Gecode::PropCond | Gecode::Float::PC_FLOAT_VAL = Gecode::PC_GEN_ASSIGNED |

Propagate when a view becomes assigned (single value). | |

const Gecode::PropCond | Gecode::Float::PC_FLOAT_BND = Gecode::PC_GEN_ASSIGNED + 1 |

Propagate when minimum or maximum of a view changes. |

## Variable Documentation

Domain operation has resulted in failure.

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

Domain operation has not changed domain.

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

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

Definition at line 264 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_FLOAT_BND modification event.

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

Propagation condition to be ignored (convenience).

Definition at line 275 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_FLOAT_VAL, then *p* is propagated when a domain update operation on *x* returns the modification event ME_FLOAT_VAL.

Definition at line 283 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_FLOAT_BND, then *p* is propagated when a domain update operation on *x* returns the modification events ME_FLOAT_VAL or ME_FLOAT_BND.

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