CBMC
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
is_set(const std::string &option) constoptionst
operator=(const optionst &other)optionstinline
option_mapoptionstprotected
option_mapt typedefoptionst
optionst()optionstinline
output(std::ostream &out) constoptionst
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
to_json() constoptionst
to_xml() constoptionst
value_listt typedefoptionst
~optionst()optionstinline