Initialize options with file name \a s
| 72 | std::string filename; |
| 73 | /// Initialize options with file name \a s |
| 74 | QDimacsOptions(const char* s, bool _qConstraint0) |
| 75 | : Options(s), |
| 76 | _printStrategy("-printStrategy","Print strategy",false), |
| 77 | _qConstraint("-quantifiedConstraints", |
| 78 | "whether to use quantified optimized constraints", |
| 79 | _qConstraint0) |
| 80 | { |
| 81 | add(_printStrategy); |
| 82 | add(_qConstraint); |
| 83 | } |
| 84 | /// Parse options from arguments \a argv (number is \a argc) |
| 85 | void parse(int& argc, char* argv[]) { |
| 86 | // Parse regular options |