Parameter to be given on the command line Initialize options for example with name \a s
| 71 | int n; /// Parameter to be given on the command line |
| 72 | /// Initialize options for example with name \a s |
| 73 | QBFOptions(const char* s, int n0, bool _qConstraint0) |
| 74 | : Options(s), |
| 75 | _printStrategy("-printStrategy","Print strategy",false), |
| 76 | _qConstraint("-quantifiedConstraints", |
| 77 | "whether to use quantified optimized constraints", |
| 78 | _qConstraint0), |
| 79 | n(n0) |
| 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 | Options::parse(argc,argv); |