Ejemplo n.º 1
0
 /// Perform creation and registration
 Create(void) {
   for (IntRelTypes irts; irts(); ++irts) {
     for (int i=1; i<=7; i += 3) {
       for (int m=0; m<=3; m++)
         (void) new BoolInt(i, m, irts.irt());
       (void) new BoolVar(i, irts.irt());
     }
     for (int i=1; i<=7; i += 2) {
       for (int m=0; m<=i+1; m++)
         (void) new IntInt(i, m, irts.irt());
       if (i <= 5)
         (void) new IntVar(i, irts.irt());
     }
   }
 }
Ejemplo n.º 2
0
 /// Perform creation and registration
 Create(void) {
   for (IntRelTypes irts; irts(); ++irts) {
     (void) new IntInt(irts.irt());
     (void) new SetInt(irts.irt());
     (void) new IntIntDup(irts.irt());
     (void) new IntVar(irts.irt());
     (void) new SetVar(irts.irt());
     (void) new IntArrayInt(irts.irt());
     (void) new IntArrayVar(irts.irt());
     (void) new IntVarShared(irts.irt());
     (void) new VarVar(irts.irt(), Gecode::IPL_BND);
     (void) new VarVar(irts.irt(), Gecode::IPL_DOM);
     (void) new VarInt(irts.irt(), Gecode::IPL_BND);
     (void) new VarInt(irts.irt(), Gecode::IPL_DOM);
     (void) new VarVarSharedA(irts.irt());
     (void) new VarVarSharedB(irts.irt());
     (void) new VarVarSharedC(irts.irt());
   }
 }
Ejemplo n.º 3
0
 /// Perform creation and registration
 Create(void) {
   for (IntRelTypes irts; irts(); ++irts)
     if ((irts.irt() == Gecode::IRT_EQ) ||
         (irts.irt() == Gecode::IRT_LQ) ||
         (irts.irt() == Gecode::IRT_GQ)) {
       (void) new IntInt(irts.irt());
       (void) new IntVar(irts.irt());
       (void) new VarVar(irts.irt());
       (void) new VarInt(irts.irt());
       (void) new IntArrayInt(irts.irt());
       (void) new IntArrayVar(irts.irt());
     }
 }