Method post

test/int/mm-lin.cpp:165–171

Post constraint on \a x

       }
       /// Post constraint on \a x
       virtual void post(Gecode::Space& home, Gecode::IntVarArray& x) {
         using namespace Gecode;
         Gecode::LinIntExpr reg[3] = {
           x[0],x[1],channel(home,x[2])
         };
         rel(home, x[3], IRT_EQ, Gecode::expr(home, eval(lis,reg)));
       }
     };