|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include <toml.hpp>
Public Types | |
| using | native_type = T |
Static Public Attributes | |
| static constexpr bool | is_native = true |
| static constexpr bool | is_losslessly_convertible_to_native = true |
| static constexpr bool | can_represent_native = true |
| static constexpr bool | can_partially_represent_native = true |
| static constexpr auto | type = NodeType |
| using native_value_traits< T, NodeType >::native_type = T |
|
staticconstexpr |
|
staticconstexpr |
|
staticconstexpr |
|
staticconstexpr |
|
staticconstexpr |