| 31 | */ |
| 32 | template <class Int> |
| 33 | inline std::string from_integer(Int v, int width, char fill) { |
| 34 | std::ostringstream string_stream; |
| 35 | string_stream << std::setfill(fill) << std::setw(width) << v; |
| 36 | return string_stream.str(); |
| 37 | } |
| 38 | |
| 39 | |
| 40 | //double Bound::infinity_ = std::numeric_limits<double>::max(); |
no test coverage detected