cpp_saved_template_mapt Class Reference

#include <template_map.h>

Collaboration diagram for cpp_saved_template_mapt:

Public Member Functions
	cpp_saved_template_mapt (template_mapt &map)
	~cpp_saved_template_mapt ()

Private Attributes
template_mapt	old_map
template_mapt &	map

Detailed Description

Definition at line 70 of file template_map.h.

Constructor & Destructor Documentation

cpp_saved_template_mapt()

cpp_saved_template_mapt::cpp_saved_template_mapt ( template_mapt &  map )

inlineexplicit

Definition at line 73 of file template_map.h.

~cpp_saved_template_mapt()

cpp_saved_template_mapt::~cpp_saved_template_mapt ( )

inline

Definition at line 78 of file template_map.h.

Member Data Documentation

map

template_mapt& cpp_saved_template_mapt::map

private

Definition at line 88 of file template_map.h.

old_map

template_mapt cpp_saved_template_mapt::old_map

private

Definition at line 87 of file template_map.h.

---

The documentation for this class was generated from the following file:

• /home/runner/work/cbmc-documentation/cbmc-documentation/src/cpp/template_map.h