cpp_typecheckt::instantiationt Class Reference

#include <cpp_typecheck.h>

Collaboration diagram for cpp_typecheckt::instantiationt:

Public Attributes
source_locationt	source_location
irep_idt	identifier
cpp_template_args_tct	full_template_args

Detailed Description

Definition at line 156 of file cpp_typecheck.h.

Member Data Documentation

full_template_args

cpp_template_args_tct cpp_typecheckt::instantiationt::full_template_args

Definition at line 161 of file cpp_typecheck.h.

identifier

irep_idt cpp_typecheckt::instantiationt::identifier

Definition at line 160 of file cpp_typecheck.h.

source_location

source_locationt cpp_typecheckt::instantiationt::source_location

Definition at line 159 of file cpp_typecheck.h.

---

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

• /home/runner/work/cbmc/cbmc/src/cpp/cpp_typecheck.h