12 #ifndef CPROVER_UTIL_OPTIONS_H 13 #define CPROVER_UTIL_OPTIONS_H 25 const std::string
get_option(
const std::string &option)
const;
32 bool is_set(
const std::string &option)
const;
34 void set_option(
const std::string &option,
const bool value);
35 void set_option(
const std::string &option,
const int value);
36 void set_option(
const std::string &option,
const unsigned value);
37 void set_option(
const std::string &option,
const std::string &value);
39 void set_option(
const std::string &option,
const char *value)
63 #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)
const value_listt & get_list_option(const std::string &option) const
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)
bool is_set(const std::string &option) const
N.B. opts.is_set("foo") does not imply opts.get_bool_option("foo")