cprover
|
#include <sharing_node.h>
Public Types | |
typedef sharing_node_innert< keyT, valueT, equalT > | innert |
typedef small_mapt< innert > | to_mapt |
Public Attributes | |
to_mapt | m |
Additional Inherited Members | |
![]() | |
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 const int | bit_idx = std::numeric_limits<Num>::digits - 1 |
static const Num | mask = ~((Num)1 << bit_idx) |
Definition at line 77 of file sharing_node.h.
typedef sharing_node_innert< keyT, valueT, equalT > d_internalt< keyT, valueT, equalT >::innert |
Definition at line 80 of file sharing_node.h.
typedef small_mapt<innert> d_internalt< keyT, valueT, equalT >::to_mapt |
Definition at line 82 of file sharing_node.h.
to_mapt d_internalt< keyT, valueT, equalT >::m |
Definition at line 87 of file sharing_node.h.