|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include <toml.hpp>
Additional Inherited Members | |
| Public Types inherited from default_value_traits | |
| using | native_type = void |
| Public Types inherited from native_value_traits< bool, node_type::boolean > | |
| 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 native_value_traits< bool, node_type::boolean > | |
| static constexpr bool | is_native |
| static constexpr bool | is_losslessly_convertible_to_native |
| static constexpr bool | can_represent_native |
| static constexpr bool | can_partially_represent_native |
| static constexpr auto | type |