|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include <toml.hpp>
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 |