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

#include <toml.hpp>

Inheritance diagram for float_traits< T >:
[legend]

Additional Inherited Members

Public Types inherited from float_traits_base< T, std::numeric_limits< T >::digits, std::numeric_limits< T >::digits10 >
using native_type
Static Public Attributes inherited from float_traits_base< T, std::numeric_limits< T >::digits, std::numeric_limits< T >::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: