CBMC
ref_count_ift< true > Struct Reference

#include <irep.h>

+ Inheritance diagram for ref_count_ift< true >:

Public Attributes

unsigned ref_count = 1
 

Detailed Description

Definition at line 61 of file irep.h.

Member Data Documentation

◆ ref_count

unsigned ref_count_ift< true >::ref_count = 1

Definition at line 63 of file irep.h.


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