\brief Main-function * \relates Steiner */
| 150 | * \relates Steiner |
| 151 | */ |
| 152 | int |
| 153 | main(int argc, char* argv[]) { |
| 154 | SizeOptions opt("Steiner"); |
| 155 | opt.model(Steiner::MODEL_NONE); |
| 156 | opt.model(Steiner::MODEL_NONE, "rel", "Use simple relation constraints"); |
| 157 | opt.model(Steiner::MODEL_MATCHING, "matching", "Use matching constraints"); |
| 158 | opt.model(Steiner::MODEL_SEQ, "sequence", "Use sequence constraints"); |
| 159 | opt.size(9); |
| 160 | opt.iterations(20); |
| 161 | opt.parse(argc,argv); |
| 162 | Script::run<Steiner,DFS,SizeOptions>(opt); |
| 163 | return 0; |
| 164 | } |
| 165 | |
| 166 | |
| 167 | // STATISTICS: example-any |
nothing calls this directly
no test coverage detected