cprover
|
#include <sharing_node.h>
Public Types | |
typedef sharing_node_leaft< keyT, valueT, equalT > | leaft |
typedef std::forward_list< leaft > | leaf_listt |
Public Attributes | |
leaf_listt | con |
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 92 of file sharing_node.h.
typedef std::forward_list<leaft> d_containert< keyT, valueT, equalT >::leaf_listt |
Definition at line 96 of file sharing_node.h.
typedef sharing_node_leaft< keyT, valueT, equalT > d_containert< keyT, valueT, equalT >::leaft |
Definition at line 95 of file sharing_node.h.
leaf_listt d_containert< keyT, valueT, equalT >::con |
Definition at line 98 of file sharing_node.h.