cprover
|
#include <cpp_typecheck.h>
Public Member Functions | |
instantiation_levelt (instantiation_stackt &_instantiation_stack) | |
~instantiation_levelt () | |
Private Attributes | |
instantiation_stackt & | instantiation_stack |
Definition at line 187 of file cpp_typecheck.h.
|
inline |
Definition at line 190 of file cpp_typecheck.h.
References instantiation_stack.
|
inline |
Definition at line 197 of file cpp_typecheck.h.
References instantiation_stack.
|
private |
Definition at line 203 of file cpp_typecheck.h.
Referenced by instantiation_levelt(), and ~instantiation_levelt().