/// 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()); } } }
/// 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()); } }
/// 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()); } }