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

#include <toml.hpp>

Inheritance diagram for value_traits< float >:
[legend]

Additional Inherited Members

Public Types inherited from default_value_traits
using native_type = void
Public Types inherited from float_traits_base< float, std::numeric_limits< float >::digits, std::numeric_limits< float >::digits10 >
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 float_traits_base< float, std::numeric_limits< float >::digits, std::numeric_limits< float >::digits10 >
static constexpr auto type
static constexpr bool is_native
static constexpr bool is_signed
static constexpr int bits
static constexpr int digits
static constexpr int digits10
static constexpr bool is_losslessly_convertible_to_native
static constexpr bool can_represent_native
static constexpr bool can_partially_represent_native

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