CBMC
ref_count_ift< enabled > Struct Template Reference

Used in tree_nodet for activating or not reference counting. More...

#include <irep.h>

+ Inheritance diagram for ref_count_ift< enabled >:

Detailed Description

template<bool enabled>
struct ref_count_ift< enabled >

Used in tree_nodet for activating or not reference counting.

tree_nodet uses inheritance from ref_count_ift instead of a field, so that it gets deleted if empty ([[no_unique_address]] only appears in C++20).

Definition at line 60 of file irep.h.

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