diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-07-23 11:55:39 -0400 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-07-23 11:55:39 -0400 |
commit | e12e7b9f980ec3f2b3db6de73e5fbe6f0daa1c00 (patch) | |
tree | b7561d0d924ad7a3d4caea3a585f4a5bfb28d2e2 /src/options/options.h | |
parent | 36b4c5c156e32d7bb8634794e8bf95b8617a3944 (diff) |
(get-info :all-options) to get option values; also command-line option suggestions
Diffstat (limited to 'src/options/options.h')
-rw-r--r-- | src/options/options.h | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/src/options/options.h b/src/options/options.h index 2be0e7b51..eaafade93 100644 --- a/src/options/options.h +++ b/src/options/options.h @@ -27,6 +27,7 @@ #include "options/option_exception.h" #include "util/language.h" #include "util/tls.h" +#include "util/sexpr.h" namespace CVC4 { @@ -118,12 +119,33 @@ public: static void printLanguageHelp(std::ostream& out); /** + * Look up long command-line option names that bear some similarity to + * the given name. Don't include the initial "--". This might be + * useful in case of typos. Can return an empty vector if there are + * no suggestions. + */ + static std::vector<std::string> suggestCommandLineOptions(const std::string& optionName) throw(); + + /** + * Look up SMT option names that bear some similarity to + * the given name. Don't include the initial ":". This might be + * useful in case of typos. Can return an empty vector if there are + * no suggestions. + */ + static std::vector<std::string> suggestSmtOptions(const std::string& optionName) throw(); + + /** * Initialize the options based on the given command-line arguments. * The return value is what's left of the command line (that is, the * non-option arguments). */ std::vector<std::string> parseOptions(int argc, char* argv[]) throw(OptionException); + /** + * Get the setting for all options. + */ + SExpr getOptions() const throw(); + };/* class Options */ }/* CVC4 namespace */ |