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 365 of file sharing_node.h.
|
inline |
Definition at line 367 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 390 of file sharing_node.h.
References sharing_node_leaft< keyT, valueT, equalT >::empty_data.
|
inline |
Definition at line 385 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 430 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 441 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 448 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 423 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 395 of file sharing_node.h.
References sharing_node_leaft< keyT, valueT, equalT >::data.
|
inline |
Definition at line 400 of file sharing_node.h.
References sharing_node_leaft< keyT, valueT, equalT >::data.
|
inline |
Definition at line 405 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 456 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().