\brief Main-function * \relates LangfordNumber */
| 187 | * \relates LangfordNumber |
| 188 | */ |
| 189 | int |
| 190 | main(int argc, char* argv[]) { |
| 191 | LangfordNumberOptions opt("Langford Numbers",3,9); |
| 192 | opt.ipl(IPL_DOM); |
| 193 | opt.propagation(LangfordNumber::PROP_EXTENSIONAL_CHANNEL); |
| 194 | opt.propagation(LangfordNumber::PROP_REIFIED, |
| 195 | "reified"); |
| 196 | opt.propagation(LangfordNumber::PROP_EXTENSIONAL, |
| 197 | "extensional"); |
| 198 | opt.propagation(LangfordNumber::PROP_EXTENSIONAL_CHANNEL, |
| 199 | "extensional-channel"); |
| 200 | opt.parse(argc, argv); |
| 201 | if (opt.k < 1) { |
| 202 | std::cerr << "k must be at least 1!" << std::endl; |
| 203 | return 1; |
| 204 | } |
| 205 | if (opt.k > opt.n) { |
| 206 | std::cerr << "n must be at least k!" << std::endl; |
| 207 | return 1; |
| 208 | } |
| 209 | Script::run<LangfordNumber,DFS,LangfordNumberOptions>(opt); |
| 210 | return 0; |
| 211 | } |
| 212 | |
| 213 | // STATISTICS: example-any |
| 214 |
nothing calls this directly
no test coverage detected