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).
The documentation for this struct was generated from the following file:
- /home/runner/work/cbmc/cbmc/src/util/irep.h
