Post constraint on \a x
| 107 | } |
| 108 | /// Post constraint on \a x |
| 109 | virtual void post(Gecode::Space& home, Gecode::FloatVarArray& x) { |
| 110 | if (x.size() == 1) |
| 111 | Gecode::dom(home, x[0], min, max); |
| 112 | else |
| 113 | Gecode::dom(home, x, min, max); |
| 114 | } |
| 115 | /// Post reified constraint on \a x for \a r |
| 116 | virtual void post(Gecode::Space& home, Gecode::FloatVarArray& x, |
| 117 | Gecode::Reify r) { |