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

#include <toml.hpp>

Public Member Functions

TOML_NODISCARD_CTOR depth_counter_scope (size_t &depth) noexcept
 ~depth_counter_scope () noexcept
 TOML_DELETE_DEFAULTS (depth_counter_scope)

Public Attributes

size_t & depth_

Constructor & Destructor Documentation

◆ depth_counter_scope()

TOML_NODISCARD_CTOR depth_counter_scope::depth_counter_scope ( size_t & depth)
inlineexplicitnoexcept

◆ ~depth_counter_scope()

depth_counter_scope::~depth_counter_scope ( )
inlinenoexcept

Member Function Documentation

◆ TOML_DELETE_DEFAULTS()

depth_counter_scope::TOML_DELETE_DEFAULTS ( depth_counter_scope )

Member Data Documentation

◆ depth_

size_t& depth_counter_scope::depth_

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