CBMC
goto_cc_cmdlinet Member List

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

add_arg(const std::string &arg)goto_cc_cmdlinetinlineprotected
add_infile_arg(const std::string &arg)goto_cc_cmdlinetprotected
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_optnr(const std::string &option)goto_cc_cmdlinet
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
have_infile_arg() constgoto_cc_cmdlinet
in_list(const char *option, const char **list)goto_cc_cmdlinetstatic
isset(char option) constcmdlinetvirtual
isset(const char *option) constcmdlinetvirtual
option_names() constcmdlinet
optionscmdlinetprotected
parse(int argc, const char **argv)=0goto_cc_cmdlinetpure virtual
parse(int argc, const char **argv, const char *optstring)goto_cc_cmdlinet
cmdlinet::parse(int argc, const char **argv, const char *optstring)cmdlinetvirtual
parse_arguments(int argc, const char **argv)cmdlinetprotected
parse_optstring(const char *optstring)cmdlinetprotected
parsed_argvgoto_cc_cmdlinet
parsed_argvt typedefgoto_cc_cmdlinet
set(const std::string &opt, const char *value) overridegoto_cc_cmdlinetinlinevirtual
set(const std::string &opt, const std::string &value) overridegoto_cc_cmdlinetinlinevirtual
set(const std::string &opt, bool value=true) overridegoto_cc_cmdlinetinlinevirtual
stdin_filegoto_cc_cmdlinet
unknown_argcmdlinet
~cmdlinet()cmdlinetvirtual
~goto_cc_cmdlinet()goto_cc_cmdlinet