17 const std::string &value)
21 value_list.push_back(value);
27 set_option(option, std::string(value?
"1":
"0"));
31 const signed int value)
37 const unsigned int value)
45 return value.empty()?
false:(std::stoi(value)!=0);
51 return value.empty()?0:std::stoi(value);
67 option_mapt::const_iterator it=
72 else if(it->second.empty())
75 return it->second.front();
79 const std::string &option)
const 81 option_mapt::const_iterator it=
const value_listt empty_list
signed int get_signed_int_option(const std::string &option) const
unsigned int get_unsigned_int_option(const std::string &option) const
const value_listt & get_list_option(const std::string &option) const
const std::string get_option(const std::string &option) const
bool get_bool_option(const std::string &option) const
std::list< std::string > value_listt
unsigned safe_string2unsigned(const std::string &str, int base)
std::string to_string(const string_constraintt &expr)
Used for debug printing.
void set_option(const std::string &option, const bool value)
bool is_set(const std::string &option) const
N.B. opts.is_set("foo") does not imply opts.get_bool_option("foo")