Perform creation and registration
| 211 | public: |
| 212 | /// Perform creation and registration |
| 213 | Create(void) { |
| 214 | for (IntRelTypes irts; irts(); ++irts) { |
| 215 | for (int i=1; i<=7; i += 3) { |
| 216 | for (int m=0; m<=3; m++) |
| 217 | (void) new BoolInt(i, m, irts.irt()); |
| 218 | (void) new BoolVar(i, irts.irt()); |
| 219 | } |
| 220 | for (int i=1; i<=7; i += 2) { |
| 221 | for (int m=0; m<=i+1; m++) |
| 222 | (void) new IntInt(i, m, irts.irt()); |
| 223 | if (i <= 5) |
| 224 | (void) new IntVar(i, irts.irt()); |
| 225 | } |
| 226 | } |
| 227 | } |
| 228 | }; |
| 229 | |
| 230 | Create c; |