public:
void set_value(double);
void set_range(double, double);
void set_step(double);
double get_value() const { return value; }
public:
void set_value(double);
void set_range(double, double);
void set_step(double);
double get_value() const { return value; }