Method post

test/int/bool.cpp:456–462

Post constraint

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

     /// %Test for if-then-else-constraint