Post constraint on \a x
| 91 | |
| 92 | /// Post constraint on \a x |
| 93 | virtual void post(Gecode::Space& home, Gecode::IntVarArray& x) { |
| 94 | Gecode::BoolVarArgs c(x.size()); |
| 95 | |
| 96 | for (int i=0; i<x.size(); i++) { |
| 97 | c[i]=Gecode::channel(home,x[i]); |
| 98 | } |
| 99 | |
| 100 | Gecode::sequence(home,c,s,q,l,u); |
| 101 | } |
| 102 | }; |
| 103 | |
| 104 | /// %Test for sequence with boolean variables |