cprover
small_shared_two_way_pointeet< Num > Class Template Reference

#include <small_shared_two_way_ptr.h>

+ Inheritance diagram for small_shared_two_way_pointeet< Num >:

Public Member Functions

 small_shared_two_way_pointeet ()=default
 
 small_shared_two_way_pointeet (const small_shared_two_way_pointeet &)
 
small_shared_two_way_pointeetoperator= (const small_shared_two_way_pointeet &)
 
Num use_count () const
 
void increment_use_count ()
 
void decrement_use_count ()
 
void set_derived_u ()
 
void set_derived_v ()
 
bool is_derived_u () const
 
bool is_derived_v () const
 
bool is_same_type (const small_shared_two_way_pointeet &other) const
 

Static Public Attributes

static const int bit_idx = std::numeric_limits<Num>::digits - 1
 
static const Num mask = ~((Num)1 << bit_idx)
 

Private Attributes

Num use_count_ = 0
 

Detailed Description

template<typename Num>
class small_shared_two_way_pointeet< Num >

Definition at line 19 of file small_shared_two_way_ptr.h.

Constructor & Destructor Documentation

◆ small_shared_two_way_pointeet() [1/2]

template<typename Num >
small_shared_two_way_pointeet< Num >::small_shared_two_way_pointeet ( )
default

◆ small_shared_two_way_pointeet() [2/2]

template<typename Num >
small_shared_two_way_pointeet< Num >::small_shared_two_way_pointeet ( const small_shared_two_way_pointeet< Num > &  )
inline

Definition at line 228 of file small_shared_two_way_ptr.h.

Member Function Documentation

◆ decrement_use_count()

template<typename Num >
void small_shared_two_way_pointeet< Num >::decrement_use_count ( )
inline

Definition at line 251 of file small_shared_two_way_ptr.h.

◆ increment_use_count()

template<typename Num >
void small_shared_two_way_pointeet< Num >::increment_use_count ( )
inline

Definition at line 244 of file small_shared_two_way_ptr.h.

◆ is_derived_u()

template<typename Num >
bool small_shared_two_way_pointeet< Num >::is_derived_u ( ) const
inline

Definition at line 268 of file small_shared_two_way_ptr.h.

◆ is_derived_v()

template<typename Num >
bool small_shared_two_way_pointeet< Num >::is_derived_v ( ) const
inline

Definition at line 273 of file small_shared_two_way_ptr.h.

◆ is_same_type()

template<typename Num >
bool small_shared_two_way_pointeet< Num >::is_same_type ( const small_shared_two_way_pointeet< Num > &  other) const
inline

Definition at line 278 of file small_shared_two_way_ptr.h.

◆ operator=()

template<typename Num >
small_shared_two_way_pointeet& small_shared_two_way_pointeet< Num >::operator= ( const small_shared_two_way_pointeet< Num > &  )
inline

Definition at line 234 of file small_shared_two_way_ptr.h.

◆ set_derived_u()

template<typename Num >
void small_shared_two_way_pointeet< Num >::set_derived_u ( )
inline

Definition at line 258 of file small_shared_two_way_ptr.h.

◆ set_derived_v()

template<typename Num >
void small_shared_two_way_pointeet< Num >::set_derived_v ( )
inline

Definition at line 263 of file small_shared_two_way_ptr.h.

◆ use_count()

template<typename Num >
Num small_shared_two_way_pointeet< Num >::use_count ( ) const
inline

Definition at line 239 of file small_shared_two_way_ptr.h.

Member Data Documentation

◆ bit_idx

template<typename Num >
const int small_shared_two_way_pointeet< Num >::bit_idx = std::numeric_limits<Num>::digits - 1
static

Definition at line 222 of file small_shared_two_way_ptr.h.

◆ mask

template<typename Num >
const Num small_shared_two_way_pointeet< Num >::mask = ~((Num)1 << bit_idx)
static

Definition at line 223 of file small_shared_two_way_ptr.h.

◆ use_count_

template<typename Num >
Num small_shared_two_way_pointeet< Num >::use_count_ = 0
private

Definition at line 284 of file small_shared_two_way_ptr.h.


The documentation for this class was generated from the following file: