\brief Main-function * \relates Domino */
| 220 | * \relates Domino |
| 221 | */ |
| 222 | int |
| 223 | main(int argc, char* argv[]) { |
| 224 | SizeOptions opt("Domino"); |
| 225 | opt.size(0); |
| 226 | opt.propagation(Domino::PROP_ELEMENT); |
| 227 | opt.propagation(Domino::PROP_ELEMENT, "element"); |
| 228 | opt.propagation(Domino::PROP_EXTENSIONAL, "extensional"); |
| 229 | opt.parse(argc,argv); |
| 230 | if (opt.size() >= n_examples) { |
| 231 | std::cerr << "Error: size must be between 0 and " |
| 232 | << n_examples-1 << std::endl; |
| 233 | return 1; |
| 234 | } |
| 235 | Script::run<Domino,DFS,SizeOptions>(opt); |
| 236 | return 0; |
| 237 | } |
| 238 | |
| 239 | |
| 240 | namespace { |
nothing calls this directly
no test coverage detected