25 #include <spot/misc/common.hh>
51 const char* parse_options(
const char* options);
61 int get(
const char* option,
int def = 0)
const;
68 std::string get_str(
const char* option, std::string def = {})
const;
74 int operator[](
const char* option)
const;
80 int set(
const char* option,
int val,
int def = 0);
86 std::string set_str(
const char* option,
87 std::string val, std::string def = {});
93 int& operator[](
const char* option);
96 friend SPOT_API std::ostream&
97 operator<<(std::ostream& os,
const option_map& m);
100 std::map<std::string, int> options_;
101 std::map<std::string, std::string> options_str_;
Manage a map of options.
Definition: optionmap.hh:36