ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
integer_limits< T > Struct Template Reference

#include <toml.hpp>

Inheritance diagram for integer_limits< T >:
[legend]

Static Public Attributes

static constexpr T min
static constexpr T max

Member Data Documentation

◆ max

template<typename T>
T integer_limits< T >::max
staticconstexpr
Initial value:
=
T{(std::numeric_limits<underlying_type<T>>::max)()}
#define T
Definition exp2f.c:24
static constexpr T max
Definition toml.hpp:1892

◆ min

template<typename T>
T integer_limits< T >::min
staticconstexpr
Initial value:
=
T{(std::numeric_limits<underlying_type<T>>::min)()}
static constexpr T min
Definition toml.hpp:1890

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