|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include <toml.hpp>
Public Member Functions | |
| TOML_NODISCARD_CTOR | table_vector_scope (std::vector< table * > &tables_, table &tbl) |
| ~table_vector_scope () noexcept | |
| TOML_DELETE_DEFAULTS (table_vector_scope) | |
Public Attributes | |
| std::vector< table * > & | tables |
|
inlineexplicit |
|
inlinenoexcept |
| table_vector_scope::TOML_DELETE_DEFAULTS | ( | table_vector_scope | ) |
| std::vector<table *>& table_vector_scope::tables |