cprover
|
#include <sharing_node.h>
Public Member Functions | |
dt () | |
dt (const dt &d) | |
bool | is_leaf () const |
Public Attributes | |
std::shared_ptr< key_type > | k |
std::unique_ptr< mapped_type > | m |
subt | sub |
containert | con |
Definition at line 259 of file sharing_node.h.
|
inline |
Definition at line 262 of file sharing_node.h.
|
inline |
Definition at line 264 of file sharing_node.h.
References _sn_assert, sharing_nodet< keyT, valueT, predT, no_sharing >::dt::is_leaf(), and sharing_nodet< keyT, valueT, predT, no_sharing >::dt::m.
|
inline |
Definition at line 273 of file sharing_node.h.
References _sn_assert, sharing_nodet< keyT, valueT, predT, no_sharing >::dt::k, and sharing_nodet< keyT, valueT, predT, no_sharing >::dt::m.
Referenced by sharing_nodet< keyT, valueT, predT, no_sharing >::dt::dt(), and sharing_nodet< key_type, mapped_type, key_equal >::is_leaf().
containert sharing_nodet< keyT, valueT, predT, no_sharing >::dt::con |
Definition at line 283 of file sharing_node.h.
Referenced by sharing_nodet< key_type, mapped_type, key_equal >::get_container().
std::shared_ptr<key_type> sharing_nodet< keyT, valueT, predT, no_sharing >::dt::k |
Definition at line 279 of file sharing_node.h.
Referenced by sharing_nodet< key_type, mapped_type, key_equal >::get_key(), and sharing_nodet< keyT, valueT, predT, no_sharing >::dt::is_leaf().
std::unique_ptr<mapped_type> sharing_nodet< keyT, valueT, predT, no_sharing >::dt::m |
Definition at line 280 of file sharing_node.h.
Referenced by sharing_nodet< keyT, valueT, predT, no_sharing >::dt::dt(), sharing_nodet< key_type, mapped_type, key_equal >::get_value(), and sharing_nodet< keyT, valueT, predT, no_sharing >::dt::is_leaf().
subt sharing_nodet< keyT, valueT, predT, no_sharing >::dt::sub |
Definition at line 282 of file sharing_node.h.
Referenced by sharing_nodet< key_type, mapped_type, key_equal >::get_sub().