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