CBMC
Loading...
Searching...
No Matches
Public Types | Public Member Functions | Public Attributes | List of all members
d_leaft< keyT, valueT, equalT > Class Template Reference

#include <sharing_node.h>

+ Inheritance diagram for d_leaft< keyT, valueT, equalT >:
[フレーム]
[legend]
+ Collaboration diagram for d_leaft< keyT, valueT, equalT >:
[フレーム]
[legend]

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< N, Num >
  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_baset &  operator= (const small_shared_n_way_pointee_baset &)
 
Num  get_use_count () const
 
void  increment_use_count ()
 
void  decrement_use_count ()
 
template<std::size_t I>
void  set_derived ()
 
template<std::size_t I>
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:

AltStyle によって変換されたページ (->オリジナル) /