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

#include <toml.hpp>

Inheritance diagram for integer_traits< T, false >:
[legend]

Additional Inherited Members

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

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