Method post

test/int/mm-bool.cpp:4337–4361

Post constraint on \a x

       }
       /// Post constraint on \a x
       virtual void post(Gecode::Space& home, Gecode::IntVarArray& x) {
         using namespace Gecode;
         BoolVarArgs l(2);
         l[0]=channel(home,x[0]); l[1]=channel(home,x[1]);
         switch (mode) {
         case 0:
           {
             BoolVar b0 = expr(home, !element(l,0));
             BoolVar b1 = expr(home, element(l,1));
             rel(home, b0 && b1);
           }
           break;
         case 1:
           {
             BoolVar b = expr(home, !element(l,0) && element(l,1));
             rel(home, b);
           }
           break;
         case 2:
           rel(home, !element(l,0) && element(l,1));
           break;
         default:
           GECODE_NEVER;
         }
       }
     };