cprover
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 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 &rhs)
 
 small_shared_pointeet (small_shared_pointeet &&rhs)
 
small_shared_pointeetoperator= (const small_shared_pointeet &rhs)
 
small_shared_pointeetoperator= (small_shared_pointeet &&rhs)
 
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 352 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 358 of file sharing_node.h.

Referenced by sharing_node_leaft< keyT, valueT, equalT >::get_key().

◆ v

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

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