23 #ifndef SPOT_MISC_OPTIONMAP_HH
24 # define SPOT_MISC_OPTIONMAP_HH
52 const char* parse_options(
const char* options);
62 int get(
const char* option,
int def = 0)
const;
68 int operator[](
const char* option)
const;
74 int set(
const char* option,
int val,
int def = 0);
80 int& operator[](
const char* option);
83 friend SPOT_API std::ostream&
84 operator<<(std::ostream& os,
const option_map& m);
87 std::map<std::string, int> options_;
91 #endif // SPOT_MISC_OPTIONMAP_HH
Manage a map of options.
Definition: optionmap.hh:37