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 188 of file cpp_typecheck.h.
|
inline |
Definition at line 191 of file cpp_typecheck.h.
|
inline |
Definition at line 198 of file cpp_typecheck.h.
|
private |
Definition at line 204 of file cpp_typecheck.h.