Post constraint on \a x
| 108 | } |
| 109 | /// Post constraint on \a x |
| 110 | virtual void post(Gecode::Space& home, Gecode::IntVarArray& x) { |
| 111 | using namespace Gecode; |
| 112 | Gecode::LinIntExpr reg[3] = {x[0],x[1],x[2]}; |
| 113 | rel(home, x[3], IRT_EQ, Gecode::expr(home, eval(lis,reg))); |
| 114 | } |
| 115 | }; |
| 116 | |
| 117 | /// %Test linear expressions over Boolean variables |