Perform creation and registration
| 489 | public: |
| 490 | /// Perform creation and registration |
| 491 | Create(void) { |
| 492 | using namespace Gecode; |
| 493 | IntArgs p1({1,1,1,1}); |
| 494 | IntArgs p2({2,2,2,2}); |
| 495 | IntArgs p3({4,3,3,5}); |
| 496 | IntArgs p4({4,0,3,5}); |
| 497 | IntArgs p5({1,1,1}); |
| 498 | |
| 499 | IntArgs u1({1,1,1,1}); |
| 500 | IntArgs u2({2,2,2,2}); |
| 501 | IntArgs u3({2,3,4,5}); |
| 502 | IntArgs u4({2,3,0,5}); |
| 503 | IntArgs u5({1,3,2}); |
| 504 | |
| 505 | for (IntPropBasicAdvanced ipba; ipba(); ++ipba) { |
| 506 | // Regression test: check correct detection of disjunctive case |
| 507 | (void) new ManFixPCumulative(3,p5,u5,0,ipba.ipl()); |
| 508 | |
| 509 | for (int c=-7; c<8; c++) { |
| 510 | int off = 0; |
| 511 | for (int coff=0; coff<2; coff++) { |
| 512 | (void) new ManFixPCumulative(c,p1,u1,off,ipba.ipl()); |
| 513 | (void) new ManFixPCumulative(c,p1,u2,off,ipba.ipl()); |
| 514 | (void) new ManFixPCumulative(c,p1,u3,off,ipba.ipl()); |
| 515 | (void) new ManFixPCumulative(c,p1,u4,off,ipba.ipl()); |
| 516 | (void) new ManFixPCumulative(c,p2,u1,off,ipba.ipl()); |
| 517 | (void) new ManFixPCumulative(c,p2,u2,off,ipba.ipl()); |
| 518 | (void) new ManFixPCumulative(c,p2,u3,off,ipba.ipl()); |
| 519 | (void) new ManFixPCumulative(c,p2,u4,off,ipba.ipl()); |
| 520 | (void) new ManFixPCumulative(c,p3,u1,off,ipba.ipl()); |
| 521 | (void) new ManFixPCumulative(c,p3,u2,off,ipba.ipl()); |
| 522 | (void) new ManFixPCumulative(c,p3,u3,off,ipba.ipl()); |
| 523 | (void) new ManFixPCumulative(c,p3,u4,off,ipba.ipl()); |
| 524 | (void) new ManFixPCumulative(c,p4,u1,off,ipba.ipl()); |
| 525 | (void) new ManFixPCumulative(c,p4,u2,off,ipba.ipl()); |
| 526 | (void) new ManFixPCumulative(c,p4,u3,off,ipba.ipl()); |
| 527 | (void) new ManFixPCumulative(c,p4,u4,off,ipba.ipl()); |
| 528 | |
| 529 | (void) new ManFlexCumulative(c,0,1,u1,off,ipba.ipl()); |
| 530 | (void) new ManFlexCumulative(c,0,1,u2,off,ipba.ipl()); |
| 531 | (void) new ManFlexCumulative(c,0,1,u3,off,ipba.ipl()); |
| 532 | (void) new ManFlexCumulative(c,0,1,u4,off,ipba.ipl()); |
| 533 | (void) new ManFlexCumulative(c,0,2,u1,off,ipba.ipl()); |
| 534 | (void) new ManFlexCumulative(c,0,2,u2,off,ipba.ipl()); |
| 535 | (void) new ManFlexCumulative(c,0,2,u3,off,ipba.ipl()); |
| 536 | (void) new ManFlexCumulative(c,0,2,u4,off,ipba.ipl()); |
| 537 | (void) new ManFlexCumulative(c,3,5,u1,off,ipba.ipl()); |
| 538 | (void) new ManFlexCumulative(c,3,5,u2,off,ipba.ipl()); |
| 539 | (void) new ManFlexCumulative(c,3,5,u3,off,ipba.ipl()); |
| 540 | (void) new ManFlexCumulative(c,3,5,u4,off,ipba.ipl()); |
| 541 | |
| 542 | (void) new OptFixPCumulative(c,p1,u1,off,ipba.ipl()); |
| 543 | (void) new OptFixPCumulative(c,p1,u2,off,ipba.ipl()); |
| 544 | (void) new OptFixPCumulative(c,p1,u3,off,ipba.ipl()); |
| 545 | (void) new OptFixPCumulative(c,p1,u4,off,ipba.ipl()); |
| 546 | (void) new OptFixPCumulative(c,p2,u1,off,ipba.ipl()); |
| 547 | (void) new OptFixPCumulative(c,p2,u2,off,ipba.ipl()); |
| 548 | (void) new OptFixPCumulative(c,p2,u3,off,ipba.ipl()); |