5 #include "pool/pool_parametric.hpp"
6 #include "util/changeable.hpp"
15 void update(
const std::map<std::string, std::string> ¶ms);
17 std::map<std::string, std::string> get_values();
22 std::map<std::string, class ParametricParamEditor *> editors;