|
cprover
|
#include <sharing_node.h>
Inheritance diagram for d_internalt< keyT, valueT, equalT >:
Collaboration diagram for d_internalt< keyT, valueT, equalT >:Public Types | |
| typedef sharing_node_innert< keyT, valueT, equalT > | innert |
| typedef small_mapt< innert > | to_mapt |
Public Attributes | |
| to_mapt | m |
Additional Inherited Members | |
Public Member Functions inherited from small_shared_two_way_pointeet< Num > | |
| 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 inherited from small_shared_two_way_pointeet< Num > | |
| 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.