12 #ifndef CPROVER_UTIL_OPTIONS_H 13 #define CPROVER_UTIL_OPTIONS_H 28 const std::string
get_option(
const std::string &option)
const;
35 bool is_set(
const std::string &option)
const;
37 void set_option(
const std::string &option,
const bool value);
38 void set_option(
const std::string &option,
const int value);
39 void set_option(
const std::string &option,
const unsigned value);
40 void set_option(
const std::string &option,
const std::string &value);
42 void set_option(
const std::string &option,
const char *value)
63 void output(std::ostream &out)
const;
70 #endif // CPROVER_UTIL_OPTIONS_H
const value_listt empty_list
signed int get_signed_int_option(const std::string &option) const
unsigned int get_unsigned_int_option(const std::string &option) const
void set_option(const std::string &option, const char *value)
void output(std::ostream &out) const
Outputs the options to out
const value_listt & get_list_option(const std::string &option) const
xmlt to_xml() const
Returns the options in XML format.
optionst & operator=(const optionst &other)
const std::string get_option(const std::string &option) const
bool get_bool_option(const std::string &option) const
std::list< std::string > value_listt
std::map< std::string, value_listt > option_mapt
void set_option(const std::string &option, const value_listt &values)
void set_option(const std::string &option, const bool value)
json_objectt to_json() const
Returns the options as JSON key value pairs.
bool is_set(const std::string &option) const
N.B. opts.is_set("foo") does not imply opts.get_bool_option("foo")