lean::io::max_float_string_length< Float > Struct Template Reference

Estimates the maximum string length for floating-point values of the given type. More...

#include <numeric.h>

List of all members.

Static Public Attributes
static const int	value = ((size_info<Float>::bits + 2) / 3) * 3 + 8
	Estimated maximum string length for floating-point values of the given type.

---

Detailed Description

template<class Float>
struct lean::io::max_float_string_length< Float >

Estimates the maximum string length for floating-point values of the given type.

---

The documentation for this struct was generated from the following file:

• numeric.h