|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include <toml.hpp>
Public Member Functions | |
| template<typename K, typename V> | |
| TOML_NODISCARD_CTOR | table_init_pair (K &&k, V &&v, value_flags flags=preserve_source_value_flags) |
Public Attributes | |
| toml::key | key |
| node_ptr | value |
|
inline |
|
mutable |
|
mutable |