Post constraint on \a x
| 79 | } |
| 80 | /// Post constraint on \a x |
| 81 | virtual void post(Gecode::Space& home, Gecode::SetVarArray& x, |
| 82 | Gecode::IntVarArray&) { |
| 83 | Gecode::precede(home, x, s, t); |
| 84 | } |
| 85 | }; |
| 86 | |
| 87 | /// %Test for multiple value precedence constraint |