lean::io::max_int_string_length< Integer > Struct Template Reference

Estimates the maximum string length for integers of the given type. More...

#include <numeric.h>

List of all members.

Static Public Attributes
static const int	value = (size_info<Integer>::bits + 2) / 3 + 3
	Estimated maximum string length for integers of the given type.

---

Detailed Description

template<class Integer>
struct lean::io::max_int_string_length< Integer >

Estimates the maximum string length for integers of the given type.

---

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

• numeric.h