spot::option_map Member List

This is the complete list of members for spot::option_map, including all inherited members.

get(const char *option, int def=0) const	spot::option_map
get_str(const char *option, std::string def={}) const	spot::option_map
operator<<	spot::option_map	friend
operator[](const char *option) const	spot::option_map
operator[](const char *option)	spot::option_map
parse_options(const char *options)	spot::option_map
report_unused_options() const	spot::option_map
set(const char *option, int val, int def=0)	spot::option_map
set(const option_map &o)	spot::option_map
set_if_unset(const char *option, int val)	spot::option_map
set_str(const char *option, std::string val, std::string def={})	spot::option_map