Post constraint on \a x
| 68 | } |
| 69 | /// Post constraint on \a x |
| 70 | virtual void post(Gecode::Space& home, Gecode::FloatVarArray& x) { |
| 71 | if (x.size() == 1) |
| 72 | Gecode::dom(home, x[0], c); |
| 73 | else |
| 74 | Gecode::dom(home, x, c); |
| 75 | } |
| 76 | /// Post reified constraint on \a x for \a r |
| 77 | virtual void post(Gecode::Space& home, Gecode::FloatVarArray& x, |
| 78 | Gecode::Reify r) { |