cprover
Public Types | Public Member Functions | Public Attributes | Static Public Attributes | List of all members
sharing_node_leaft< keyT, valueT, equalT > Class Template Reference

#include <sharing_node.h>

+ Inheritance diagram for sharing_node_leaft< keyT, valueT, equalT >:
+ Collaboration diagram for sharing_node_leaft< keyT, valueT, equalT >:

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
 

Detailed Description

template<typename keyT, typename valueT, typename equalT>
class sharing_node_leaft< keyT, valueT, equalT >

Definition at line 90 of file sharing_node.h.

Member Typedef Documentation

◆ d_lt

template<typename keyT , typename valueT , typename equalT >
typedef d_leaft< keyT, valueT, equalT > sharing_node_leaft< keyT, valueT, equalT >::d_lt

Definition at line 365 of file sharing_node.h.

Constructor & Destructor Documentation

◆ sharing_node_leaft()

template<typename keyT , typename valueT , typename equalT >
sharing_node_leaft< keyT, valueT, equalT >::sharing_node_leaft ( const keyT &  k,
const valueT &  v 
)
inline

Definition at line 367 of file sharing_node.h.

Member Function Documentation

◆ clear()

template<typename keyT , typename valueT , typename equalT >
void sharing_node_leaft< keyT, valueT, equalT >::clear ( void  )
inline

Definition at line 390 of file sharing_node.h.

◆ empty()

template<typename keyT , typename valueT , typename equalT >
bool sharing_node_leaft< keyT, valueT, equalT >::empty ( ) const
inline

Definition at line 385 of file sharing_node.h.

◆ get_key()

template<typename keyT , typename valueT , typename equalT >
const keyT& sharing_node_leaft< keyT, valueT, equalT >::get_key ( ) const
inline

Definition at line 430 of file sharing_node.h.

◆ get_value() [1/2]

template<typename keyT , typename valueT , typename equalT >
const valueT& sharing_node_leaft< keyT, valueT, equalT >::get_value ( ) const
inline

Definition at line 441 of file sharing_node.h.

◆ get_value() [2/2]

template<typename keyT , typename valueT , typename equalT >
valueT& sharing_node_leaft< keyT, valueT, equalT >::get_value ( )
inline

Definition at line 448 of file sharing_node.h.

◆ read()

template<typename keyT , typename valueT , typename equalT >
const d_lt& sharing_node_leaft< keyT, valueT, equalT >::read ( ) const
inline

Definition at line 423 of file sharing_node.h.

◆ shares_with()

template<typename keyT , typename valueT , typename equalT >
bool sharing_node_leaft< keyT, valueT, equalT >::shares_with ( const sharing_node_leaft< keyT, valueT, equalT > &  other) const
inline

Definition at line 395 of file sharing_node.h.

◆ swap()

template<typename keyT , typename valueT , typename equalT >
void sharing_node_leaft< keyT, valueT, equalT >::swap ( sharing_node_leaft< keyT, valueT, equalT > &  other)
inline

Definition at line 400 of file sharing_node.h.

◆ write()

template<typename keyT , typename valueT , typename equalT >
d_lt& sharing_node_leaft< keyT, valueT, equalT >::write ( )
inline

Definition at line 405 of file sharing_node.h.

Member Data Documentation

◆ data

template<typename keyT , typename valueT , typename equalT >
small_shared_ptrt< d_leaft< keyT, valueT, equalT > > sharing_node_leaft< keyT, valueT, equalT >::data

Definition at line 455 of file sharing_node.h.

◆ empty_data

template<typename keyT , typename valueT , typename equalT >
small_shared_ptrt< d_leaft< keyT, valueT, equalT > > sharing_node_leaft< keyT, valueT, equalT >::empty_data
static
Initial value:
=
make_small_shared_ptr< d_leaft< keyT, valueT, equalT > >()

Definition at line 456 of file sharing_node.h.

The documentation for this class was generated from the following file: