Post constraint on \a x
| 133 | } |
| 134 | /// Post constraint on \a x |
| 135 | virtual void post(Gecode::Space& home, Gecode::FloatVarArray& x) { |
| 136 | Gecode::mult(home, x[0], x[0], x[1]); |
| 137 | } |
| 138 | }; |
| 139 | |
| 140 | /// %Test for multiplication constraint with shared variables |