|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include <toml.hpp>
Static Public Attributes | |
| static constexpr bool | is_losslessly_convertible_to_native |
| static constexpr bool | can_represent_native = false |
| Static Public Attributes inherited from integer_traits_base< T > | |
| static constexpr bool | is_native |
| static constexpr bool | is_signed |
| static constexpr auto | type = node_type::integer |
| static constexpr bool | can_partially_represent_native = true |
| Static Public Attributes inherited from integer_limits< T > | |
| static constexpr T | min |
| static constexpr T | max |
Additional Inherited Members | |
| Public Types inherited from integer_traits_base< T > | |
| using | native_type = int64_t |
|
staticconstexpr |
|
staticconstexpr |