10 #ifndef CPROVER_UTIL_CMDLINE_H 11 #define CPROVER_UTIL_CMDLINE_H 22 virtual bool parse(
int argc,
const char **argv,
const char *optstring);
25 std::string
get_value(
const char *option)
const;
27 const std::list<std::string> &
get_values(
const std::string &option)
const;
28 const std::list<std::string> &
get_values(
char option)
const;
32 virtual bool isset(
char option)
const;
33 virtual bool isset(
const char *option)
const;
34 virtual void set(
const std::string &option);
35 virtual void set(
const std::string &option,
const std::string &value);
43 typedef std::vector<std::string>
argst;
74 #endif // CPROVER_UTIL_CMDLINE_H
const std::list< std::string > & get_values(const std::string &option) const
std::string get_value(char option) const
virtual bool parse(int argc, const char **argv, const char *optstring)
virtual bool isset(char option) const
nonstd::optional< T > optionalt
virtual void set(const std::string &option)
std::vector< std::string > argst
std::list< std::string > get_comma_separated_values(const char *option) const
bool has_option(const std::string &option) const
std::list< std::string > values
optionalt< std::size_t > getoptnr(char option) const
std::vector< optiont > options