cprover
Loading...
Searching...
No Matches
d_leaft< keyT, valueT, equalT > Class Template Reference

#include <sharing_node.h>

Inheritance diagram for d_leaft< keyT, valueT, equalT >:
Collaboration diagram for d_leaft< keyT, valueT, equalT >:

Public Types

typedef keyT keyt

Public Member Functions

template<class valueU>
 d_leaft (const keyt &k, valueU &&v)
Public Member Functions inherited from small_shared_n_way_pointee_baset< 3, unsigned >
 small_shared_n_way_pointee_baset ()=default
 small_shared_n_way_pointee_baset (const small_shared_n_way_pointee_baset &)
small_shared_n_way_pointee_basetoperator= (const small_shared_n_way_pointee_baset &)
unsigned get_use_count () const
void increment_use_count ()
void decrement_use_count ()
void set_derived ()
bool is_derived () const
bool is_same_type (const small_shared_n_way_pointee_baset &other) const

Public Attributes

keyt k
valueT v

Detailed Description

template<typename keyT, typename valueT, typename equalT = std::equal_to<keyT>>
class d_leaft< keyT, valueT, equalT >

Definition at line 91 of file sharing_node.h.

Member Typedef Documentation

◆ keyt

template<typename keyT, typename valueT, typename equalT = std::equal_to<keyT>>
typedef keyT d_leaft< keyT, valueT, equalT >::keyt

Definition at line 97 of file sharing_node.h.

Constructor & Destructor Documentation

◆ d_leaft()

template<typename keyT, typename valueT, typename equalT = std::equal_to<keyT>>
template<class valueU>
d_leaft< keyT, valueT, equalT >::d_leaft ( const keyt & k,
valueU && v )
inline

Definition at line 101 of file sharing_node.h.

Member Data Documentation

◆ k

template<typename keyT, typename valueT, typename equalT = std::equal_to<keyT>>
keyt d_leaft< keyT, valueT, equalT >::k

Definition at line 104 of file sharing_node.h.

◆ v

template<typename keyT, typename valueT, typename equalT = std::equal_to<keyT>>
valueT d_leaft< keyT, valueT, equalT >::v

Definition at line 106 of file sharing_node.h.


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