cprover
cpp_typecheckt::instantiation_levelt Class Reference

#include <cpp_typecheck.h>

Collaboration diagram for cpp_typecheckt::instantiation_levelt:
[legend]

Public Member Functions

 instantiation_levelt (instantiation_stackt &_instantiation_stack)
 
 ~instantiation_levelt ()
 

Private Attributes

instantiation_stacktinstantiation_stack
 

Detailed Description

Definition at line 187 of file cpp_typecheck.h.

Constructor & Destructor Documentation

§ instantiation_levelt()

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

Definition at line 190 of file cpp_typecheck.h.

§ ~instantiation_levelt()

cpp_typecheckt::instantiation_levelt::~instantiation_levelt ( )
inline

Definition at line 197 of file cpp_typecheck.h.

Member Data Documentation

§ instantiation_stack

instantiation_stackt& cpp_typecheckt::instantiation_levelt::instantiation_stack
private

Definition at line 203 of file cpp_typecheck.h.


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