cprover
|
Public Member Functions | |
save_scopet (new_scopet *&_scope) | |
~save_scopet () | |
Protected Attributes | |
new_scopet *& | scope_ptr |
new_scopet * | old_scope |
|
inlineexplicit |
|
inline |
|
protected |
Definition at line 182 of file parse.cpp.
Referenced by ~save_scopet().
|
protected |
Definition at line 181 of file parse.cpp.
Referenced by ~save_scopet().