@brief Create whitespace of given length, for indenting printouts in dump() functions
| 37 | { |
| 38 | /// @brief Create whitespace of given length, for indenting printouts in dump() functions |
| 39 | inline std::string space( size_t n ) |
| 40 | { |
| 41 | return std::string( n, ' ' ); |
| 42 | } |
| 43 | |
| 44 | /// @brief Convert number to decimal string |
| 45 | template <class T> std::string toString( T x ) |