12 #ifndef CPROVER_UTIL_OPTIONS_H 13 #define CPROVER_UTIL_OPTIONS_H 25 const std::string
get_option(
const std::string &option)
const;
31 void set_option(
const std::string &option,
const bool value);
32 void set_option(
const std::string &option,
const int value);
33 void set_option(
const std::string &option,
const unsigned value);
34 void set_option(
const std::string &option,
const std::string &value);
36 void set_option(
const std::string &option,
const char *value)
60 #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)