cprover
destructor.cpp File Reference

Destructor Calls. More...

#include "destructor.h"
#include <util/std_types.h>
#include <util/std_code.h>
Include dependency graph for destructor.cpp:

Go to the source code of this file.

Functions

code_function_callt get_destructor (const namespacet &ns, const typet &type)
 

Detailed Description

Destructor Calls.

Definition in file destructor.cpp.

Function Documentation

§ get_destructor()