ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
table_vector_scope Struct Reference

#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

Constructor & Destructor Documentation

◆ table_vector_scope()

TOML_NODISCARD_CTOR table_vector_scope::table_vector_scope ( std::vector< table * > & tables_,
table & tbl )
inlineexplicit

◆ ~table_vector_scope()

table_vector_scope::~table_vector_scope ( )
inlinenoexcept

Member Function Documentation

◆ TOML_DELETE_DEFAULTS()

table_vector_scope::TOML_DELETE_DEFAULTS ( table_vector_scope )

Member Data Documentation

◆ tables

std::vector<table *>& table_vector_scope::tables

The documentation for this struct was generated from the following file: