Parse options from arguments \a argv (number is \a argc)
| 83 | } |
| 84 | /// Parse options from arguments \a argv (number is \a argc) |
| 85 | void parse(int& argc, char* argv[]) { |
| 86 | // Parse regular options |
| 87 | Options::parse(argc,argv); |
| 88 | // Filename, should be at position 1 |
| 89 | if (argc == 1) { |
| 90 | help(); |
| 91 | exit(1); |
| 92 | } |
| 93 | filename = argv[1]; |
| 94 | argc--; |
| 95 | } |
| 96 | /// Return true if the strategy must be printed |
| 97 | bool printStrategy(void) const { |
| 98 | return _printStrategy.value(); |