void register_configuration (Dot_configuration const &);
Dot_configuration *best () const;
Dot_formatting_problem (vector<Box> const &boxes, Interval base_x);
void register_configuration (Dot_configuration const &);
Dot_configuration *best () const;
Dot_formatting_problem (vector<Box> const &boxes, Interval base_x);