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 323 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 >::place_leaf(), sharing_node_innert< key_type, mapped_type >::read_container(), and sharing_node_innert< key_type, mapped_type >::read_internal().
|
inline |
Definition at line 310 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 224 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 239 of file sharing_node.h.
|
inline |
Definition at line 212 of file sharing_node.h.
Referenced by sharing_mapt< keyT, valueT, hashT, equalT >::count_unmarked_nodes(), 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 217 of file sharing_node.h.
|
inline |
Definition at line 202 of file sharing_node.h.
Referenced by sharing_node_innert< key_type, mapped_type >::add_child(), sharing_mapt< keyT, valueT, hashT, equalT >::count_unmarked_nodes(), 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 207 of file sharing_node.h.
|
inline |
Definition at line 149 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 144 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 257 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 193 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 331 of file sharing_node.h.
Referenced by sharing_mapt< keyT, valueT, hashT, equalT >::erase().
|
inline |
Definition at line 271 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 137 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 154 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 341 of file sharing_node.h.
Referenced by sharing_mapt< keyT, valueT, hashT, equalT >::count_unmarked_nodes(), sharing_node_innert< key_type, mapped_type >::shares_with(), and sharing_node_innert< key_type, mapped_type >::swap().
|
static |
Definition at line 342 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().