CBMC
|
Reference Counting. More...
#include "invariant.h"
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.