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

#include <clang_cpp_convert.h>

Public Attributes

std::size_t position
code_blockt calls

Member Data Documentation

◆ calls

code_blockt clang_cpp_convertert::subobject_destructort::calls

◆ position

std::size_t clang_cpp_convertert::subobject_destructort::position

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