cpp_typecheckt::instantiation_levelt Class Reference
#include <cpp_typecheck.h>
Collaboration diagram for cpp_typecheckt::instantiation_levelt:Public Member Functions | |
| instantiation_levelt (instantiation_stackt &_instantiation_stack) | |
| ~instantiation_levelt () | |
Private Attributes | |
| instantiation_stackt & | instantiation_stack |
Detailed Description
Definition at line 169 of file cpp_typecheck.h.
Constructor & Destructor Documentation
◆ instantiation_levelt()
|
inline |
Definition at line 172 of file cpp_typecheck.h.
◆ ~instantiation_levelt()
|
inline |
Definition at line 179 of file cpp_typecheck.h.
Member Data Documentation
◆ instantiation_stack
|
private |
Definition at line 185 of file cpp_typecheck.h.
The documentation for this class was generated from the following file:
- /home/runner/work/cbmc/cbmc/src/cpp/cpp_typecheck.h
