cprover
Loading...
Searching...
No Matches
ref_count_ift< true > Struct Reference

#include <irep.h>

Inheritance diagram for ref_count_ift< true >:
Collaboration diagram for ref_count_ift< true >:

Public Attributes

unsigned ref_count = 1

Detailed Description

Definition at line 65 of file irep.h.

Member Data Documentation

◆ ref_count

unsigned ref_count_ift< true >::ref_count = 1

Definition at line 67 of file irep.h.


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