+ /// If ignore is true, then the parameter is never saved, and is always
+ /// given the default value.
+ void add(std::string const & name, ParamType type,
+ ParamHandling = HANDLING_NONE, bool ignore = false,
+ docstring default_value = docstring());