Method TupleSetBool

test/int/extensional.cpp:563–578

Create and register test

     public:
       /// Create and register test
       TupleSetBool(double prob, bool p)
         : Test("Extensional::TupleSet::" + str(p) + "::Bool",
                5,0,1,true), pos(p), t(5) {
         using namespace Gecode;

         CpltAssignment ass(5, IntSet(0, 1));
         while (ass.has_more()) {
           if (_rand(100) <= prob*100) {
             IntArgs tuple(5);
             for (int i = 5; i--; ) tuple[i] = ass[i];
             t.add(tuple);
           }
           ass.next(_rand);
         }
         t.finalize();
       }
       /// %Test whether \a x is solution
       virtual bool solution(const Assignment& x) const {
         using namespace Gecode;