cprover
Loading...
Searching...
No Matches
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_stacktinstantiation_stack

Detailed Description

Definition at line 169 of file cpp_typecheck.h.

Constructor & Destructor Documentation

◆ instantiation_levelt()

cpp_typecheckt::instantiation_levelt::instantiation_levelt ( instantiation_stackt & _instantiation_stack)
inline

Definition at line 172 of file cpp_typecheck.h.

◆ ~instantiation_levelt()

cpp_typecheckt::instantiation_levelt::~instantiation_levelt ( )
inline

Definition at line 179 of file cpp_typecheck.h.

Member Data Documentation

◆ instantiation_stack

instantiation_stackt& cpp_typecheckt::instantiation_levelt::instantiation_stack
private

Definition at line 185 of file cpp_typecheck.h.


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