CBMC
Public Attributes | List of all members
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 168 of file cpp_typecheck.h.

Member Data Documentation

◆ full_template_args

cpp_template_args_tct cpp_typecheckt::instantiationt::full_template_args

Definition at line 173 of file cpp_typecheck.h.

◆ identifier

irep_idt cpp_typecheckt::instantiationt::identifier

Definition at line 172 of file cpp_typecheck.h.

◆ source_location

source_locationt cpp_typecheckt::instantiationt::source_location

Definition at line 171 of file cpp_typecheck.h.

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