cprover
Loading...
Searching...
No Matches
ansi_c_identifiert Class Reference

#include <ansi_c_scope.h>

Collaboration diagram for ansi_c_identifiert:

Public Member Functions

 ansi_c_identifiert ()

Public Attributes

ansi_c_id_classt id_class
irep_idt base_name
irep_idt prefixed_name

Detailed Description

Definition at line 28 of file ansi_c_scope.h.

Constructor & Destructor Documentation

◆ ansi_c_identifiert()

ansi_c_identifiert::ansi_c_identifiert ( )
inline

Definition at line 34 of file ansi_c_scope.h.

Member Data Documentation

◆ base_name

irep_idt ansi_c_identifiert::base_name

Definition at line 32 of file ansi_c_scope.h.

◆ id_class

ansi_c_id_classt ansi_c_identifiert::id_class

Definition at line 31 of file ansi_c_scope.h.

◆ prefixed_name

irep_idt ansi_c_identifiert::prefixed_name

Definition at line 32 of file ansi_c_scope.h.


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