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 175 of file cpp_typecheck.h.

Member Data Documentation

full_template_args

cpp_template_args_tct cpp_typecheckt::instantiationt::full_template_args

Definition at line 180 of file cpp_typecheck.h.

identifier

irep_idt cpp_typecheckt::instantiationt::identifier

Definition at line 179 of file cpp_typecheck.h.

source_location

source_locationt cpp_typecheckt::instantiationt::source_location

Definition at line 178 of file cpp_typecheck.h.

---

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

• cpp/cpp_typecheck.h