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

#include <toml.hpp>

Inheritance diagram for signed_integer_traits< T >:
[legend]

Public Types

using native_type = int64_t
Public Types inherited from integer_traits_base< T >
using native_type = int64_t

Static Public Attributes

static constexpr bool is_losslessly_convertible_to_native
static constexpr bool can_represent_native
Static Public Attributes inherited from integer_traits_base< T >
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 signed_integer_traits< T >::native_type = int64_t

Member Data Documentation

◆ can_represent_native

template<typename T>
bool signed_integer_traits< T >::can_represent_native
staticconstexpr
Initial value:
=
(-9223372036854775807LL - 1LL) &&
integer_limits<underlying_type<T>>::max >= 9223372036854775807LL
Definition toml.hpp:1889
static constexpr T max
Definition toml.hpp:1892
static constexpr T min
Definition toml.hpp:1890
typename underlying_type_< T >::type underlying_type
Definition toml.hpp:1829

◆ is_losslessly_convertible_to_native

template<typename T>
bool signed_integer_traits< T >::is_losslessly_convertible_to_native
staticconstexpr
Initial value:
=
(-9223372036854775807LL - 1LL) &&
integer_limits<underlying_type<T>>::max <= 9223372036854775807LL

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