9 Option(const std::string &, const std::string &, const std::string &);
10 void set_value(const std::string &v) { value=v; }
11 const std::string &get_value() const { return value; }
12 const std::string &get_name() const { return name; }
13 const std::string &get_default_value() const { return defv; }
14 const std::string &get_description() const { return descr; }