void register_configuration (Dot_configuration const &);
Dot_configuration *best () const;
- Dot_formatting_problem (vector<Box> const &boxes, Interval base_x);
+ Dot_formatting_problem (std::vector<Box> const &boxes, Interval base_x);
~Dot_formatting_problem ();
};