Post constraint on \a x
| 139 | } |
| 140 | /// Post constraint on \a x |
| 141 | virtual void post(Gecode::Space& home, Gecode::IntVarArray&) { |
| 142 | home.fail(); |
| 143 | } |
| 144 | /// Post reified constraint on \a x for \a r |
| 145 | virtual void post(Gecode::Space& home, Gecode::IntVarArray& x, |
| 146 | Gecode::Reify r) { |