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 72 of file irep.h.

Member Data Documentation

ref_count

unsigned ref_count_ift< true >::ref_count = 1

Definition at line 74 of file irep.h.

---

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

• /home/runner/work/cbmc/cbmc/src/util/irep.h