Post constraint on \a x
| 83 | } |
| 84 | /// Post constraint on \a x |
| 85 | virtual void post(Gecode::Space& home, Gecode::IntVarArray& x) { |
| 86 | if (one(a)) |
| 87 | Gecode::linear(home, x, irt, c, ipl); |
| 88 | else |
| 89 | Gecode::linear(home, a, x, irt, c, ipl); |
| 90 | } |
| 91 | /// Post reified constraint on \a x for \a r |
| 92 | virtual void post(Gecode::Space& home, Gecode::IntVarArray& x, |
| 93 | Gecode::Reify r) { |