cprover
|
#include <small_shared_two_way_ptr.h>
Public Member Functions | |
small_shared_two_way_pointeet ()=default | |
small_shared_two_way_pointeet (const small_shared_two_way_pointeet &) | |
small_shared_two_way_pointeet & | operator= (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 |
Definition at line 19 of file small_shared_two_way_ptr.h.
|
default |
|
inline |
Definition at line 228 of file small_shared_two_way_ptr.h.
|
inline |
Definition at line 251 of file small_shared_two_way_ptr.h.
|
inline |
Definition at line 244 of file small_shared_two_way_ptr.h.
|
inline |
Definition at line 268 of file small_shared_two_way_ptr.h.
|
inline |
Definition at line 273 of file small_shared_two_way_ptr.h.
|
inline |
Definition at line 278 of file small_shared_two_way_ptr.h.
|
inline |
Definition at line 234 of file small_shared_two_way_ptr.h.
|
inline |
Definition at line 258 of file small_shared_two_way_ptr.h.
|
inline |
Definition at line 263 of file small_shared_two_way_ptr.h.
|
inline |
Definition at line 239 of file small_shared_two_way_ptr.h.
|
static |
Definition at line 222 of file small_shared_two_way_ptr.h.
|
static |
Definition at line 223 of file small_shared_two_way_ptr.h.
|
private |
Definition at line 284 of file small_shared_two_way_ptr.h.