cprover
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 Attributes

keyT k
 
valueT v
 

Additional Inherited Members

- Public Member Functions inherited from small_shared_pointeet< unsigned >
 small_shared_pointeet ()=default
 
 small_shared_pointeet (const small_shared_pointeet &)
 
 small_shared_pointeet (small_shared_pointeet &&)
 
small_shared_pointeetoperator= (const small_shared_pointeet &)
 
small_shared_pointeetoperator= (small_shared_pointeet &&)
 
void increment_use_count ()
 
void decrement_use_count ()
 
unsigned use_count () const
 
- Protected Member Functions inherited from small_shared_pointeet< unsigned >
 ~small_shared_pointeet ()=default
 

Detailed Description

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

Definition at line 351 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 357 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 359 of file sharing_node.h.


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