Post constraint on \a x
| 104 | } |
| 105 | /// Post constraint on \a x |
| 106 | virtual void post(Gecode::Space& home, Gecode::FloatVarArray& x) { |
| 107 | if (one(a)) |
| 108 | Gecode::linear(home, x, frt, c); |
| 109 | else |
| 110 | Gecode::linear(home, a, x, frt, c); |
| 111 | } |
| 112 | /// Post reified constraint on \a x for \a r |
| 113 | virtual void post(Gecode::Space& home, Gecode::FloatVarArray& x, |
| 114 | Gecode::Reify r) { |