Method post

test/int/bool.cpp:479–483

Post constraint

       }
       /// Post constraint
       virtual void post(Gecode::Space& home, Gecode::IntVarArray& x) {
         using namespace Gecode;
         ite(home,channel(home,x[0]),channel(home,x[1]),
             channel(home,x[2]),channel(home,x[3]));
       }
     };

     /// Help class to create and register tests