cprover
|
#include "invariant.h"
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.