cprover
|
Reference Counting. More...
#include <cassert>
Go to the source code of this file.
Classes | |
class | reference_counting< T > |
class | reference_counting< T >::dt |
Functions | |
template<class T > | |
bool | operator== (const reference_counting< T > &o1, const reference_counting< T > &o2) |
template<class T > | |
bool | operator!= (const reference_counting< T > &i1, const reference_counting< T > &i2) |
Reference Counting.
Definition in file reference_counting.h.
|
inline |
Definition at line 193 of file reference_counting.h.
bool operator== | ( | const reference_counting< T > & | o1, |
const reference_counting< T > & | o2 | ||
) |
Definition at line 183 of file reference_counting.h.
References reference_counting< T >::get_d(), and reference_counting< T >::read().