10 #ifndef CPROVER_UTIL_CMDLINE_H 11 #define CPROVER_UTIL_CMDLINE_H 20 virtual bool parse(
int argc,
const char **argv,
const char *optstring);
23 std::string
get_value(
const char *option)
const;
25 const std::list<std::string> &
get_values(
const std::string &option)
const;
26 const std::list<std::string> &
get_values(
char option)
const;
28 virtual bool isset(
char option)
const;
29 virtual bool isset(
const char *option)
const;
30 virtual void set(
const std::string &option);
31 virtual void set(
const std::string &option,
const std::string &value);
34 typedef std::vector<std::string>
argst;
61 int getoptnr(
const std::string &option)
const;
64 #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
std::vector< std::string > argst
std::list< std::string > values
int getoptnr(char option) const
std::vector< optiont > options