/********************* */
/*! \file options.h
** \verbatim
- ** Original author: mdeters
+ ** Original author: Morgan Deters
** Major contributors: none
- ** Minor contributors (to current version): dejan, cconway
- ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009-2012 New York University and The University of Iowa
+ ** Minor contributors (to current version): none
+ ** This file is part of the CVC4 project.
+ ** Copyright (c) 2009-2013 New York University and The University of Iowa
** See the file COPYING in the top-level source directory for licensing
** information.\endverbatim
**
#include "options/option_exception.h"
#include "util/language.h"
#include "util/tls.h"
+#include "util/sexpr.h"
namespace CVC4 {
/** Print help for the --lang command line option */
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
*/
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 */