Perform creation and registration
| 259 | public: |
| 260 | /// Perform creation and registration |
| 261 | Create(void) { |
| 262 | using namespace Gecode; |
| 263 | IntArgs p1({2,2,2,2}); |
| 264 | IntArgs p10({2,2,0,2,2}); |
| 265 | IntArgs p2({4,3,3,5}); |
| 266 | IntArgs p20({4,0,3,3,0,5}); |
| 267 | IntArgs p3({4,2,9,3,7,5}); |
| 268 | IntArgs p30({4,0,2,9,3,7,5,0}); |
| 269 | |
| 270 | for (IntPropBasicAdvanced ipba; ipba(); ++ipba) { |
| 271 | (void) new ManFixPUnary(p1,0,ipba.ipl()); |
| 272 | (void) new ManFixPUnary(p1,Gecode::Int::Limits::min,ipba.ipl()); |
| 273 | (void) new OptFixPUnary(p1,0,ipba.ipl()); |
| 274 | (void) new OptFixPUnary(p1,Gecode::Int::Limits::min,ipba.ipl()); |
| 275 | (void) new ManFlexUnary(4,0,2,0,ipba.ipl()); |
| 276 | (void) new ManFlexUnary(4,0,2,Gecode::Int::Limits::min,ipba.ipl()); |
| 277 | (void) new ManFlexUnary(4,1,3,0,ipba.ipl()); |
| 278 | (void) new ManFlexUnary(4,1,3,Gecode::Int::Limits::min,ipba.ipl()); |
| 279 | (void) new OptFlexUnary(4,0,2,0,ipba.ipl()); |
| 280 | (void) new OptFlexUnary(4,0,2,Gecode::Int::Limits::min,ipba.ipl()); |
| 281 | |
| 282 | (void) new ManFixPUnary(p10,0,ipba.ipl()); |
| 283 | (void) new ManFixPUnary(p10,Gecode::Int::Limits::min,ipba.ipl()); |
| 284 | (void) new OptFixPUnary(p10,0,ipba.ipl()); |
| 285 | (void) new OptFixPUnary(p10,Gecode::Int::Limits::min,ipba.ipl()); |
| 286 | (void) new ManFlexUnary(5,0,2,0,ipba.ipl()); |
| 287 | (void) new ManFlexUnary(5,0,2,Gecode::Int::Limits::min,ipba.ipl()); |
| 288 | (void) new OptFlexUnary(5,0,2,0,ipba.ipl()); |
| 289 | (void) new OptFlexUnary(5,0,2,Gecode::Int::Limits::min,ipba.ipl()); |
| 290 | |
| 291 | (void) new ManFixPUnary(p2,0,ipba.ipl()); |
| 292 | (void) new ManFixPUnary(p2,Gecode::Int::Limits::min,ipba.ipl()); |
| 293 | (void) new OptFixPUnary(p2,0,ipba.ipl()); |
| 294 | (void) new OptFixPUnary(p2,Gecode::Int::Limits::min,ipba.ipl()); |
| 295 | (void) new ManFlexUnary(4,3,5,0,ipba.ipl()); |
| 296 | (void) new ManFlexUnary(4,3,5,Gecode::Int::Limits::min,ipba.ipl()); |
| 297 | (void) new OptFlexUnary(4,3,5,0,ipba.ipl()); |
| 298 | (void) new OptFlexUnary(4,3,5,Gecode::Int::Limits::min,ipba.ipl()); |
| 299 | |
| 300 | (void) new ManFixPUnary(p20,0,ipba.ipl()); |
| 301 | (void) new ManFixPUnary(p20,Gecode::Int::Limits::min,ipba.ipl()); |
| 302 | (void) new OptFixPUnary(p20,0,ipba.ipl()); |
| 303 | (void) new OptFixPUnary(p20,Gecode::Int::Limits::min,ipba.ipl()); |
| 304 | (void) new ManFlexUnary(6,0,5,0,ipba.ipl()); |
| 305 | (void) new ManFlexUnary(6,0,5,Gecode::Int::Limits::min,ipba.ipl()); |
| 306 | (void) new OptFlexUnary(6,0,5,0,ipba.ipl()); |
| 307 | (void) new OptFlexUnary(6,0,5,Gecode::Int::Limits::min,ipba.ipl()); |
| 308 | |
| 309 | (void) new ManFixPUnary(p3,0,ipba.ipl()); |
| 310 | (void) new ManFixPUnary(p3,Gecode::Int::Limits::min,ipba.ipl()); |
| 311 | (void) new OptFixPUnary(p3,0,ipba.ipl()); |
| 312 | (void) new OptFixPUnary(p3,Gecode::Int::Limits::min,ipba.ipl()); |
| 313 | (void) new ManFlexUnary(6,2,7,0,ipba.ipl()); |
| 314 | (void) new ManFlexUnary(6,2,7,Gecode::Int::Limits::min,ipba.ipl()); |
| 315 | (void) new OptFlexUnary(6,2,7,0,ipba.ipl()); |
| 316 | (void) new OptFlexUnary(6,2,7,Gecode::Int::Limits::min,ipba.ipl()); |
| 317 | |
| 318 | (void) new ManFixPUnary(p30,0,ipba.ipl()); |