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.
|
inline |
Definition at line 390 of file sharing_node.h.
|
inline |
Definition at line 385 of file sharing_node.h.
|
inline |
Definition at line 430 of file sharing_node.h.
|
inline |
Definition at line 441 of file sharing_node.h.
|
inline |
Definition at line 448 of file sharing_node.h.
|
inline |
Definition at line 423 of file sharing_node.h.
|
inline |
Definition at line 395 of file sharing_node.h.
|
inline |
Definition at line 400 of file sharing_node.h.
|
inline |
Definition at line 405 of file sharing_node.h.
small_shared_ptrt< d_leaft< keyT, valueT, equalT > > sharing_node_leaft< keyT, valueT, equalT >::data |
Definition at line 455 of file sharing_node.h.
|
static |
Definition at line 456 of file sharing_node.h.