CBMC
free_form_cmdlinet Member List

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

add_flag(std::string flag)free_form_cmdlinet
add_option(std::string flag, std::string value)free_form_cmdlinet
argscmdlinet
argst typedefcmdlinet
clear()cmdlinetvirtual
cmdlinet()cmdlinet
create_flag(const std::string &flag_name)free_form_cmdlinetprivate
get_argument_suggestions(const std::string &unknown_argument)cmdlinet
get_comma_separated_values(const char *option) constcmdlinet
get_value(char option) constcmdlinet
get_value(const char *option) constcmdlinet
get_values(const std::string &option) constcmdlinet
get_values(char option) constcmdlinet
getoptnr(char option) constcmdlinetprotected
getoptnr(const std::string &option) constcmdlinetprotected
has_option(const std::string &option) constcmdlinetinline
isset(char option) constcmdlinetvirtual
isset(const char *option) constcmdlinetvirtual
option_names() constcmdlinet
optionscmdlinetprotected
parse(int argc, const char **argv, const char *optstring)cmdlinetvirtual
parse_arguments(int argc, const char **argv)cmdlinetprotected
parse_optstring(const char *optstring)cmdlinetprotected
set(const std::string &option, bool value=true)cmdlinetvirtual
set(const std::string &option, const std::string &value)cmdlinetvirtual
set(const std::string &option, const char *value)cmdlinetinlinevirtual
unknown_argcmdlinet
value_opt(char option) constcmdlinet
value_opt(const char *option) constcmdlinet
~cmdlinet()cmdlinetvirtual