cprover
|
#include <sharing_node.h>
Public Types | |
typedef d_internalt< keyT, valueT, equalT > | d_it |
typedef d_containert< keyT, valueT, equalT > | d_ct |
typedef d_it::to_mapt | to_mapt |
typedef d_ct::leaft | leaft |
typedef d_ct::leaf_listt | leaf_listt |
Public Member Functions | |
sharing_node_innert () | |
bool | empty () const |
void | clear () |
bool | shares_with (const sharing_node_innert &other) const |
void | swap (sharing_node_innert &other) |
bool | is_internal () const |
bool | is_container () const |
d_it & | write_internal () |
const d_it & | read_internal () const |
d_ct & | write_container () |
const d_ct & | read_container () const |
const to_mapt & | get_to_map () const |
to_mapt & | get_to_map () |
const leaf_listt & | get_container () const |
leaf_listt & | get_container () |
const leaft * | find_leaf (const keyT &k) const |
leaft * | find_leaf (const keyT &k) |
leaft * | place_leaf (const keyT &k, const valueT &v) |
void | remove_leaf (const keyT &k) |
const d_it::innert * | find_child (const std::size_t n) const |
d_it::innert * | add_child (const std::size_t n) |
void | remove_child (const std::size_t n) |
Public Attributes | |
small_shared_two_way_ptrt< d_internalt< keyT, valueT, equalT >, d_containert< keyT, valueT, equalT > > | data |
Static Public Attributes | |
static small_shared_two_way_ptrt< d_internalt< keyT, valueT, equalT >, d_containert< keyT, valueT, equalT > > | empty_data |
Definition at line 75 of file sharing_node.h.
typedef d_containert< keyT, valueT, equalT > sharing_node_innert< keyT, valueT, equalT >::d_ct |
Definition at line 109 of file sharing_node.h.
typedef d_internalt< keyT, valueT, equalT > sharing_node_innert< keyT, valueT, equalT >::d_it |
Definition at line 108 of file sharing_node.h.
typedef d_ct::leaf_listt sharing_node_innert< keyT, valueT, equalT >::leaf_listt |
Definition at line 114 of file sharing_node.h.
typedef d_ct::leaft sharing_node_innert< keyT, valueT, equalT >::leaft |
Definition at line 113 of file sharing_node.h.
typedef d_it::to_mapt sharing_node_innert< keyT, valueT, equalT >::to_mapt |
Definition at line 111 of file sharing_node.h.
|
inline |
Definition at line 116 of file sharing_node.h.
|
inline |
Definition at line 324 of file sharing_node.h.
Referenced by sharing_mapt< keyT, valueT, hashT, equalT >::erase(), and sharing_mapt< keyT, valueT, hashT, equalT >::get_container_node().
|
inline |
Definition at line 125 of file sharing_node.h.
Referenced by sharing_mapt< keyT, valueT, hashT, equalT >::clear().
|
inline |
Definition at line 120 of file sharing_node.h.
Referenced by sharing_node_innert< key_type, mapped_type >::read_container(), and sharing_node_innert< key_type, mapped_type >::read_internal().
|
inline |
Definition at line 311 of file sharing_node.h.
Referenced by sharing_mapt< keyT, valueT, hashT, equalT >::get_container_node(), and sharing_mapt< keyT, valueT, hashT, equalT >::get_delta_view().
|
inline |
Definition at line 226 of file sharing_node.h.
Referenced by sharing_mapt< keyT, valueT, hashT, equalT >::find(), sharing_mapt< keyT, valueT, hashT, equalT >::get_delta_view(), sharing_mapt< keyT, valueT, hashT, equalT >::get_leaf_node(), sharing_mapt< keyT, valueT, hashT, equalT >::place(), and sharing_node_innert< key_type, mapped_type >::place_leaf().
|
inline |
Definition at line 241 of file sharing_node.h.
|
inline |
Definition at line 214 of file sharing_node.h.
Referenced by sharing_node_innert< key_type, mapped_type >::find_leaf(), sharing_mapt< keyT, valueT, hashT, equalT >::get_delta_view(), sharing_mapt< keyT, valueT, hashT, equalT >::iterate(), sharing_node_innert< key_type, mapped_type >::place_leaf(), and sharing_node_innert< key_type, mapped_type >::remove_leaf().
|
inline |
Definition at line 219 of file sharing_node.h.
|
inline |
Definition at line 204 of file sharing_node.h.
Referenced by sharing_node_innert< key_type, mapped_type >::add_child(), sharing_node_innert< key_type, mapped_type >::find_child(), sharing_mapt< keyT, valueT, hashT, equalT >::get_delta_view(), sharing_mapt< keyT, valueT, hashT, equalT >::iterate(), and sharing_node_innert< key_type, mapped_type >::remove_child().
|
inline |
Definition at line 209 of file sharing_node.h.
|
inline |
Definition at line 147 of file sharing_node.h.
Referenced by sharing_node_innert< key_type, mapped_type >::find_leaf(), sharing_node_innert< key_type, mapped_type >::place_leaf(), and sharing_node_innert< key_type, mapped_type >::remove_leaf().
|
inline |
Definition at line 142 of file sharing_node.h.
Referenced by sharing_node_innert< key_type, mapped_type >::add_child(), sharing_node_innert< key_type, mapped_type >::find_child(), and sharing_node_innert< key_type, mapped_type >::remove_child().
|
inline |
Definition at line 259 of file sharing_node.h.
Referenced by sharing_mapt< keyT, valueT, hashT, equalT >::insert(), and sharing_mapt< keyT, valueT, hashT, equalT >::place().
|
inline |
Definition at line 195 of file sharing_node.h.
Referenced by sharing_node_innert< key_type, mapped_type >::get_container().
|
inline |
Definition at line 170 of file sharing_node.h.
Referenced by sharing_node_innert< key_type, mapped_type >::get_to_map().
|
inline |
Definition at line 332 of file sharing_node.h.
Referenced by sharing_mapt< keyT, valueT, hashT, equalT >::erase().
|
inline |
Definition at line 272 of file sharing_node.h.
Referenced by sharing_mapt< keyT, valueT, hashT, equalT >::erase().
|
inline |
Definition at line 130 of file sharing_node.h.
|
inline |
Definition at line 135 of file sharing_node.h.
Referenced by sharing_mapt< keyT, valueT, hashT, equalT >::swap().
|
inline |
Definition at line 177 of file sharing_node.h.
Referenced by sharing_node_innert< key_type, mapped_type >::get_container().
|
inline |
Definition at line 152 of file sharing_node.h.
Referenced by sharing_node_innert< key_type, mapped_type >::get_to_map().
small_shared_two_way_ptrt< d_internalt< keyT, valueT, equalT >, d_containert< keyT, valueT, equalT > > sharing_node_innert< keyT, valueT, equalT >::data |
Definition at line 342 of file sharing_node.h.
Referenced by sharing_node_innert< key_type, mapped_type >::shares_with(), and sharing_node_innert< key_type, mapped_type >::swap().
|
static |
Definition at line 343 of file sharing_node.h.
Referenced by sharing_node_innert< key_type, mapped_type >::clear(), sharing_node_innert< key_type, mapped_type >::empty(), sharing_node_innert< key_type, mapped_type >::write_container(), and sharing_node_innert< key_type, mapped_type >::write_internal().