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

#include <toml.hpp>

Public Types

using native_type = double

Static Public Attributes

static constexpr auto type = node_type::floating_point
static constexpr bool is_native = std::is_same_v<T, native_type>
static constexpr bool is_signed = true
static constexpr int bits = static_cast<int>(sizeof(T) * CHAR_BIT)
static constexpr int digits = MantissaDigits
static constexpr int digits10 = DecimalDigits
static constexpr bool is_losslessly_convertible_to_native
static constexpr bool can_represent_native
static constexpr bool can_partially_represent_native

Member Typedef Documentation

◆ native_type

template<typename T, int MantissaDigits, int DecimalDigits>
using float_traits_base< T, MantissaDigits, DecimalDigits >::native_type = double

Member Data Documentation

◆ bits

template<typename T, int MantissaDigits, int DecimalDigits>
int float_traits_base< T, MantissaDigits, DecimalDigits >::bits = static_cast<int>(sizeof(T) * CHAR_BIT)
staticconstexpr

◆ can_partially_represent_native

template<typename T, int MantissaDigits, int DecimalDigits>
bool float_traits_base< T, MantissaDigits, DecimalDigits >::can_partially_represent_native
staticconstexpr
Initial value:
=
digits > 0 && digits10 > 0
static constexpr int digits10
Definition toml.hpp:2024
static constexpr int digits
Definition toml.hpp:2023

◆ can_represent_native

template<typename T, int MantissaDigits, int DecimalDigits>
bool float_traits_base< T, MantissaDigits, DecimalDigits >::can_represent_native
staticconstexpr
Initial value:
= digits >= 53
&& digits10 >= 15

◆ digits

template<typename T, int MantissaDigits, int DecimalDigits>
int float_traits_base< T, MantissaDigits, DecimalDigits >::digits = MantissaDigits
staticconstexpr

◆ digits10

template<typename T, int MantissaDigits, int DecimalDigits>
int float_traits_base< T, MantissaDigits, DecimalDigits >::digits10 = DecimalDigits
staticconstexpr

◆ is_losslessly_convertible_to_native

template<typename T, int MantissaDigits, int DecimalDigits>
bool float_traits_base< T, MantissaDigits, DecimalDigits >::is_losslessly_convertible_to_native
staticconstexpr
Initial value:
=
bits <= 64
&& digits <= 53
&& digits10 <= 15
static constexpr int bits
Definition toml.hpp:2022

◆ is_native

template<typename T, int MantissaDigits, int DecimalDigits>
bool float_traits_base< T, MantissaDigits, DecimalDigits >::is_native = std::is_same_v<T, native_type>
staticconstexpr

◆ is_signed

template<typename T, int MantissaDigits, int DecimalDigits>
bool float_traits_base< T, MantissaDigits, DecimalDigits >::is_signed = true
staticconstexpr

◆ type

template<typename T, int MantissaDigits, int DecimalDigits>
auto float_traits_base< T, MantissaDigits, DecimalDigits >::type = node_type::floating_point
staticconstexpr

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