| 182 | |
| 183 | |
| 184 | forceinline ModEvent |
| 185 | FloatVarImp::eq(Space& home, FloatNum n) { |
| 186 | if (!dom.in(n)) |
| 187 | return fail(home); |
| 188 | if (assigned()) |
| 189 | return ME_FLOAT_NONE; |
| 190 | FloatDelta d; |
| 191 | dom = n; |
| 192 | return notify(home,ME_FLOAT_VAL,d); |
| 193 | } |
| 194 | forceinline ModEvent |
| 195 | FloatVarImp::eq(Space& home, const FloatVal& n) { |
| 196 | if (!overlap(dom,n)) |