cprover
small_shared_two_way_ptr.h File Reference
#include <type_traits>
#include <limits>
#include <utility>
#include "invariant.h"
+ Include dependency graph for small_shared_two_way_ptr.h:
+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  small_shared_two_way_pointeet< Num >
 
class  small_shared_two_way_ptrt< U, V >
 This class is similar to small_shared_ptrt and boost's intrusive_ptr. More...
 
class  small_shared_two_way_pointeet< Num >
 

Functions

template<typename U , typename V , typename... Ts>
small_shared_two_way_ptrt< U, V > make_shared_derived_u (Ts &&... ts)
 
template<typename U , typename V , typename... Ts>
small_shared_two_way_ptrt< U, V > make_shared_derived_v (Ts &&... ts)
 
template<typename U , typename V >
bool operator== (const small_shared_two_way_ptrt< U, V > &lhs, const small_shared_two_way_ptrt< U, V > &rhs)
 
template<typename U , typename V >
bool operator!= (const small_shared_two_way_ptrt< U, V > &lhs, const small_shared_two_way_ptrt< U, V > &rhs)
 

Function Documentation

◆ make_shared_derived_u()

template<typename U , typename V , typename... Ts>
small_shared_two_way_ptrt<U, V> make_shared_derived_u ( Ts &&...  ts)

Definition at line 189 of file small_shared_two_way_ptr.h.

◆ make_shared_derived_v()

template<typename U , typename V , typename... Ts>
small_shared_two_way_ptrt<U, V> make_shared_derived_v ( Ts &&...  ts)

Definition at line 195 of file small_shared_two_way_ptr.h.

◆ operator!=()

template<typename U , typename V >
bool operator!= ( const small_shared_two_way_ptrt< U, V > &  lhs,
const small_shared_two_way_ptrt< U, V > &  rhs 
)

Definition at line 209 of file small_shared_two_way_ptr.h.

◆ operator==()

template<typename U , typename V >
bool operator== ( const small_shared_two_way_ptrt< U, V > &  lhs,
const small_shared_two_way_ptrt< U, V > &  rhs 
)

Definition at line 201 of file small_shared_two_way_ptr.h.