\brief Main-function * \relates CarSequencing */
| 419 | * \relates CarSequencing |
| 420 | */ |
| 421 | int |
| 422 | main(int argc, char* argv[]) { |
| 423 | CarOptions opt("CarSequencing"); |
| 424 | opt.solutions(0); |
| 425 | opt.size(0); |
| 426 | opt.branching(CarSequencing::BRANCH_INORDER); |
| 427 | opt.branching(CarSequencing::BRANCH_INORDER, "inorder"); |
| 428 | opt.branching(CarSequencing::BRANCH_MIDDLE, "middle"); |
| 429 | opt.propagation(CarSequencing::PROP_CUSTOM); |
| 430 | opt.propagation(CarSequencing::PROP_REGULAR, "regular"); |
| 431 | opt.propagation(CarSequencing::PROP_CUSTOM, "custom"); |
| 432 | opt.parse(argc,argv); |
| 433 | if (opt.size() >= n_problems) { |
| 434 | std::cerr << "Error: size must be between 0 and " |
| 435 | << n_problems-1 << std::endl; |
| 436 | return 1; |
| 437 | } |
| 438 | |
| 439 | Script::run<CarSequencing,BAB,CarOptions>(opt); |
| 440 | return 0; |
| 441 | } |
| 442 | |
| 443 | |
| 444 | namespace { |
nothing calls this directly
no test coverage detected