\brief Main-function * \relates PerfectSquare */
| 293 | * \relates PerfectSquare |
| 294 | */ |
| 295 | int |
| 296 | main(int argc, char* argv[]) { |
| 297 | SizeOptions opt("PerfectSquare"); |
| 298 | opt.propagation(PerfectSquare::PROP_REIFIED); |
| 299 | opt.propagation(PerfectSquare::PROP_REIFIED, "reified"); |
| 300 | opt.propagation(PerfectSquare::PROP_CUMULATIVES, "cumulatives"); |
| 301 | opt.a_d(5); |
| 302 | opt.c_d(20); |
| 303 | opt.parse(argc,argv); |
| 304 | if (opt.size() >= n_specs) { |
| 305 | std::cerr << "Error: size must be between 0 and " << n_specs - 1 |
| 306 | << std::endl; |
| 307 | return 1; |
| 308 | } |
| 309 | Script::run<PerfectSquare,DFS,SizeOptions>(opt); |
| 310 | return 0; |
| 311 | } |
| 312 | |
| 313 | // STATISTICS: example-any |
| 314 |
nothing calls this directly
no test coverage detected