Post constraint on \a x
| 135 | } |
| 136 | /// Post constraint on \a x |
| 137 | virtual void post(Gecode::Space& home, Gecode::IntVarArray& x) { |
| 138 | using namespace Gecode; |
| 139 | Gecode::LinIntExpr reg[3] = { |
| 140 | channel(home,x[0]),channel(home,x[1]),channel(home,x[2]) |
| 141 | }; |
| 142 | rel(home, x[3], IRT_EQ, Gecode::expr(home, eval(lis,reg))); |
| 143 | } |
| 144 | }; |
| 145 | |
| 146 | /// %Test linear expressions over integer and Boolean variables |