@@ -284,22 +284,20 @@ class RBParameters
284284 /* *
285285 * Fill \p param_names with the names of the parameters.
286286 *
287- * \deprecated to avoid making it too easy to create copies that in
288- * most circumstances aren't needed. If you really need a list of
289- * the parameter names, the best approach is to iterate over this
290- * object using the begin()/end() APIs and build a std::set that
291- * way.
287+ * Note: this function was previously deprecated, but now that
288+ * multi-step RBParameters objects are possible, this is actually
289+ * the most efficient way to get a list of the parameter names
290+ * stored on this object.
292291 */
293292 void get_parameter_names (std::set<std::string> & param_names) const ;
294293
295294 /* *
296295 * Fill \p param_names with the names of the extra parameters.
297296 *
298- * \deprecated to avoid making it too easy to create copies that in
299- * most circumstances aren't needed. If you really need a list of
300- * the parameter names, the best approach is to iterate over this
301- * object using the extra_begin()/extra_end() APIs and build a std::set that
302- * way.
297+ * Note: this function was previously deprecated, but now that
298+ * multi-step RBParameters objects are possible, this is actually
299+ * the most efficient way to get a list of the parameter names
300+ * stored on this object.
303301 */
304302 void get_extra_parameter_names (std::set<std::string> & param_names) const ;
305303
0 commit comments