|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include <toml.hpp>
Public Member Functions | |
| TOML_NODISCARD_CTOR | parse_scope (std::string_view ¤t_scope, std::string_view new_scope) noexcept |
| ~parse_scope () noexcept | |
| TOML_DELETE_DEFAULTS (parse_scope) | |
Public Attributes | |
| std::string_view & | storage_ |
| std::string_view | parent_ |
|
inlineexplicitnoexcept |
|
inlinenoexcept |
| parse_scope::TOML_DELETE_DEFAULTS | ( | parse_scope | ) |
| std::string_view parse_scope::parent_ |
| std::string_view& parse_scope::storage_ |