| CBMC
    | 
#include "invariant.h" Include dependency graph for reference_counting.h:
 Include dependency graph for reference_counting.h: This graph shows which files directly or indirectly include this file:
 This graph shows which files directly or indirectly include this file:Go to the source code of this file.
| Classes | |
| class | reference_counting< T, empty > | 
| class | reference_counting< T, empty >::dt | 
| Functions | |
| template<class T , const T & empty> | |
| bool | operator== (const reference_counting< T, empty > &o1, const reference_counting< T, empty > &o2) | 
| template<class T , const T & empty> | |
| bool | operator!= (const reference_counting< T, empty > &i1, const reference_counting< T, empty > &i2) | 
Reference Counting
Definition in file reference_counting.h.
| 
 | inline | 
Definition at line 195 of file reference_counting.h.
| bool operator== | ( | const reference_counting< T, empty > & | o1, | 
| const reference_counting< T, empty > & | o2 | ||
| ) | 
Definition at line 185 of file reference_counting.h.