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

#include <toml.hpp>

Inheritance diagram for unsigned_integer_traits< T >:
[legend]

Static Public Attributes

static constexpr bool is_losslessly_convertible_to_native
static constexpr bool can_represent_native = false
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

Additional Inherited Members

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

Member Data Documentation

◆ can_represent_native

template<typename T>
bool unsigned_integer_traits< T >::can_represent_native = false
staticconstexpr

◆ is_losslessly_convertible_to_native

template<typename T>
bool unsigned_integer_traits< T >::is_losslessly_convertible_to_native
staticconstexpr
Initial value:
=
integer_limits<underlying_type<T>>::max <= 9223372036854775807ULL
Definition toml.hpp:1889
static constexpr T max
Definition toml.hpp:1892

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