ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
value_traits< unsigned long long > Struct Reference

#include <toml.hpp>

Inheritance diagram for value_traits< unsigned long long >:
[legend]

Additional Inherited Members

Public Types inherited from default_value_traits
using native_type = void
Public Types inherited from signed_integer_traits< unsigned long long >
using native_type
Public Types inherited from integer_traits_base< unsigned long long >
using native_type
Static Public Attributes inherited from default_value_traits
static constexpr bool is_native = false
static constexpr bool is_losslessly_convertible_to_native = false
static constexpr bool can_represent_native = false
static constexpr bool can_partially_represent_native = false
static constexpr auto type = node_type::none
Static Public Attributes inherited from signed_integer_traits< unsigned long long >
static constexpr bool is_losslessly_convertible_to_native
static constexpr bool can_represent_native
Static Public Attributes inherited from integer_traits_base< unsigned long long >
static constexpr bool is_native
static constexpr bool is_signed
static constexpr auto type
static constexpr bool can_partially_represent_native
Static Public Attributes inherited from integer_limits< unsigned long long >
static constexpr unsigned long long min
static constexpr unsigned long long max

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