cprover
|
#include <sharing_node.h>
Public Types | |
typedef d_leaft< keyT, valueT, equalT > | d_lt |
Public Member Functions | |
sharing_node_leaft (const keyT &k, const valueT &v) | |
bool | empty () const |
void | clear () |
bool | shares_with (const sharing_node_leaft &other) const |
void | swap (sharing_node_leaft &other) |
d_lt & | write () |
const d_lt & | read () const |
const keyT & | get_key () const |
const valueT & | get_value () const |
valueT & | get_value () |
Public Attributes | |
small_shared_ptrt< d_leaft< keyT, valueT, equalT > > | data |
Static Public Attributes | |
static small_shared_ptrt< d_leaft< keyT, valueT, equalT > > | empty_data |
Definition at line 90 of file sharing_node.h.
typedef d_leaft< keyT, valueT, equalT > sharing_node_leaft< keyT, valueT, equalT >::d_lt |
Definition at line 366 of file sharing_node.h.
|
inline |
Definition at line 368 of file sharing_node.h.
References sharing_node_leaft< keyT, valueT, equalT >::empty(), SN_ASSERT, and sharing_node_leaft< keyT, valueT, equalT >::write().
|
inline |
Definition at line 391 of file sharing_node.h.
References sharing_node_leaft< keyT, valueT, equalT >::empty_data.
|
inline |
Definition at line 386 of file sharing_node.h.
References sharing_node_leaft< keyT, valueT, equalT >::empty_data.
Referenced by sharing_node_leaft< keyT, valueT, equalT >::get_key(), sharing_node_leaft< keyT, valueT, equalT >::get_value(), and sharing_node_leaft< keyT, valueT, equalT >::sharing_node_leaft().
|
inline |
Definition at line 431 of file sharing_node.h.
References sharing_node_leaft< keyT, valueT, equalT >::empty(), d_leaft< keyT, valueT, equalT >::k, sharing_node_leaft< keyT, valueT, equalT >::read(), and SN_ASSERT.
Referenced by sharing_node_innert< key_type, mapped_type >::remove_leaf().
|
inline |
Definition at line 442 of file sharing_node.h.
References sharing_node_leaft< keyT, valueT, equalT >::empty(), sharing_node_leaft< keyT, valueT, equalT >::read(), SN_ASSERT, and d_leaft< keyT, valueT, equalT >::v.
Referenced by sharing_mapt< keyT, valueT, hashT, equalT >::find(), sharing_mapt< keyT, valueT, hashT, equalT >::get_delta_view(), sharing_mapt< keyT, valueT, hashT, equalT >::insert(), and sharing_mapt< keyT, valueT, hashT, equalT >::place().
|
inline |
Definition at line 449 of file sharing_node.h.
References sharing_node_leaft< keyT, valueT, equalT >::empty(), SN_ASSERT, d_leaft< keyT, valueT, equalT >::v, and sharing_node_leaft< keyT, valueT, equalT >::write().
|
inline |
Definition at line 424 of file sharing_node.h.
References sharing_node_leaft< keyT, valueT, equalT >::data.
Referenced by sharing_node_leaft< keyT, valueT, equalT >::get_key(), and sharing_node_leaft< keyT, valueT, equalT >::get_value().
|
inline |
Definition at line 396 of file sharing_node.h.
References sharing_node_leaft< keyT, valueT, equalT >::data.
|
inline |
Definition at line 401 of file sharing_node.h.
References sharing_node_leaft< keyT, valueT, equalT >::data.
|
inline |
Definition at line 406 of file sharing_node.h.
References sharing_node_leaft< keyT, valueT, equalT >::data, sharing_node_leaft< keyT, valueT, equalT >::empty_data, and SN_ASSERT.
Referenced by sharing_node_leaft< keyT, valueT, equalT >::get_value(), and sharing_node_leaft< keyT, valueT, equalT >::sharing_node_leaft().
small_shared_ptrt< d_leaft< keyT, valueT, equalT > > sharing_node_leaft< keyT, valueT, equalT >::data |
|
static |
Definition at line 457 of file sharing_node.h.
Referenced by sharing_node_leaft< keyT, valueT, equalT >::clear(), sharing_node_leaft< keyT, valueT, equalT >::empty(), and sharing_node_leaft< keyT, valueT, equalT >::write().