cprover
optionst Member List

This is the complete list of members for optionst, including all inherited members.

empty_listoptionstprotected
get_bool_option(const std::string &option) constoptionst
get_list_option(const std::string &option) constoptionst
get_option(const std::string &option) constoptionst
get_signed_int_option(const std::string &option) constoptionst
get_unsigned_int_option(const std::string &option) constoptionst
operator=(const optionst &other)optionstinline
option_mapoptionstprotected
option_mapt typedefoptionst
optionst()optionstinline
set_option(const std::string &option, const bool value)optionst
set_option(const std::string &option, const int value)optionst
set_option(const std::string &option, const unsigned value)optionst
set_option(const std::string &option, const std::string &value)optionst
set_option(const std::string &option, const char *value)optionstinline
set_option(const std::string &option, const value_listt &values)optionstinline
value_listt typedefoptionst
~optionst()optionstinline