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 184 of file cpp_typecheck.h.
|
inline |
Definition at line 187 of file cpp_typecheck.h.
|
inline |
Definition at line 194 of file cpp_typecheck.h.
|
private |
Definition at line 200 of file cpp_typecheck.h.