CBMC
cmdlinet Member List

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

argscmdlinet
argst typedefcmdlinet
clear()cmdlinetvirtual
cmdlinet()cmdlinet
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
~cmdlinet()cmdlinetvirtual