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

#include <toml.hpp>

Inheritance diagram for integer_traits_base< T >:
[legend]

Public Types

using native_type = int64_t

Static Public Attributes

static constexpr bool is_native
static constexpr bool is_signed
static constexpr auto type = node_type::integer
static constexpr bool can_partially_represent_native = true
Static Public Attributes inherited from integer_limits< T >
static constexpr T min
static constexpr T max

Member Typedef Documentation

◆ native_type

template<typename T>
using integer_traits_base< T >::native_type = int64_t

Member Data Documentation

◆ can_partially_represent_native

template<typename T>
bool integer_traits_base< T >::can_partially_represent_native = true
staticconstexpr

◆ is_native

template<typename T>
bool integer_traits_base< T >::is_native
staticconstexpr
Initial value:
=
std::is_same_v<underlying_type<T>, native_type>
int64_t native_type
Definition toml.hpp:1898

◆ is_signed

template<typename T>
bool integer_traits_base< T >::is_signed
staticconstexpr
Initial value:
=
typename underlying_type_< T >::type underlying_type
Definition toml.hpp:1829

◆ type

template<typename T>
auto integer_traits_base< T >::type = node_type::integer
staticconstexpr

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