Perform creation and registration
| 573 | public: |
| 574 | /// Perform creation and registration |
| 575 | Create(void) { |
| 576 | using namespace Gecode; |
| 577 | for (IntRelTypes irts; irts(); ++irts) { |
| 578 | for (IntPropLevels ipls; ipls(); ++ipls) { |
| 579 | (void) new IntVarXY(irts.irt(),1,ipls.ipl()); |
| 580 | (void) new IntVarXY(irts.irt(),2,ipls.ipl()); |
| 581 | (void) new IntVarXX(irts.irt(),ipls.ipl()); |
| 582 | (void) new IntSeq(1,irts.irt(),ipls.ipl()); |
| 583 | (void) new IntSeq(2,irts.irt(),ipls.ipl()); |
| 584 | (void) new IntSeq(3,irts.irt(),ipls.ipl()); |
| 585 | (void) new IntSeq(5,irts.irt(),ipls.ipl()); |
| 586 | (void) new IntSharedSeq(1,irts.irt(),ipls.ipl()); |
| 587 | (void) new IntSharedSeq(2,irts.irt(),ipls.ipl()); |
| 588 | (void) new IntSharedSeq(3,irts.irt(),ipls.ipl()); |
| 589 | (void) new IntSharedSeq(4,irts.irt(),ipls.ipl()); |
| 590 | } |
| 591 | (void) new BoolVarXY(irts.irt(),1); |
| 592 | (void) new BoolVarXY(irts.irt(),2); |
| 593 | (void) new BoolVarXX(irts.irt()); |
| 594 | (void) new BoolSeq(1,irts.irt()); |
| 595 | (void) new BoolSeq(2,irts.irt()); |
| 596 | (void) new BoolSeq(3,irts.irt()); |
| 597 | (void) new BoolSeq(10,irts.irt()); |
| 598 | (void) new BoolSharedSeq(1,irts.irt()); |
| 599 | (void) new BoolSharedSeq(2,irts.irt()); |
| 600 | (void) new BoolSharedSeq(3,irts.irt()); |
| 601 | (void) new BoolSharedSeq(4,irts.irt()); |
| 602 | (void) new BoolSharedSeq(8,irts.irt()); |
| 603 | for (int c=-4; c<=4; c++) { |
| 604 | (void) new IntInt(irts.irt(),1,c); |
| 605 | (void) new IntInt(irts.irt(),2,c); |
| 606 | } |
| 607 | for (int c=0; c<=1; c++) { |
| 608 | (void) new BoolInt(irts.irt(),1,c); |
| 609 | (void) new BoolInt(irts.irt(),2,c); |
| 610 | } |
| 611 | (void) new IntArrayVar(irts.irt()); |
| 612 | (void) new IntArrayInt(irts.irt()); |
| 613 | for (int n_fst=0; n_fst<=4; n_fst++) |
| 614 | (void) new IntArrayDiff(irts.irt(),n_fst); |
| 615 | (void) new BoolArrayVar(irts.irt()); |
| 616 | (void) new BoolArrayInt(irts.irt()); |
| 617 | } |
| 618 | } |
| 619 | }; |
| 620 | |
| 621 | Create c; |