Method Create

test/int/extensional.cpp:663–799

Perform creation and registration

     public:
       /// Perform creation and registration
       Create(void) {
         // This code is executed on load, and thus a random number generator source from the supplied
         // seed is not available.
         // In order to get interesting data her, but still have deterministic and repeatable execution, a fixed seed
         // is used for a local random number generator.
         // TODO: Make this code later on test run, and use the supplied seed/random number generator.
         Gecode::Support::RandomGenerator rand(42);

         using namespace Gecode;
         for (bool pos : { false, true }) {
           {
             TupleSet ts(4);
             ts.add({2, 1, 2, 4}).add({2, 2, 1, 4})
               .add({4, 3, 4, 1}).add({1, 3, 2, 3})
               .add({3, 3, 3, 2}).add({5, 1, 4, 4})
               .add({2, 5, 1, 5}).add({4, 3, 5, 1})
               .add({1, 5, 2, 5}).add({5, 3, 3, 2})
               .finalize();
             (void) new TupleSetTest("A",pos,IntSet(0,6),ts,true);
           }
           {
             TupleSet ts(4);
             ts.finalize();
             (void) new TupleSetTest("Empty",pos,IntSet(1,2),ts,true);
           }
           {
             TupleSet ts(4);
             for (int n=1024*16; n--; )
               ts.add({1,2,3,4});
             ts.finalize();
             (void) new TupleSetTest("Assigned",pos,IntSet(1,4),ts,true);
           }
           {
             TupleSet ts(1);
             ts.add({1}).add({2}).add({3}).finalize();
             (void) new TupleSetTest("Single",pos,IntSet(-4,4),ts,true);
           }
           {
             int m = Gecode::Int::Limits::min;
             TupleSet ts(3);
             ts.add({m+0,m+1,m+2}).add({m+4,m+1,m+3})
               .add({m+2,m+3,m+0}).add({m+2,m+3,m+0})
               .add({m+1,m+2,m+5}).add({m+2,m+3,m+0})
               .add({m+3,m+6,m+5}).finalize();
             (void) new TupleSetTest("Min",pos,IntSet(m,m+7),ts,true);
           }
           {
             int M = Gecode::Int::Limits::max;
             TupleSet ts(3);
             ts.add({M-0,M-1,M-2}).add({M-4,M-1,M-3})
               .add({M-2,M-3,M-0}).add({M-2,M-3,M-0})
               .add({M-1,M-2,M-5}).add({M-2,M-3,M-0})
               .add({M-3,M-6,M-5}).finalize();
             (void) new TupleSetTest("Max",pos,IntSet(M-7,M),ts,true);
           }
           {
             int m = Gecode::Int::Limits::min;
             int M = Gecode::Int::Limits::max;