cprover
sharing_nodet< keyT, valueT, predT, no_sharing >::dt Class Reference

#include <sharing_node.h>

Collaboration diagram for sharing_nodet< keyT, valueT, predT, no_sharing >::dt:
[legend]

Public Member Functions

 dt ()
 
 dt (const dt &d)
 
bool is_leaf () const
 

Public Attributes

std::shared_ptr< key_typek
 
std::unique_ptr< mapped_typem
 
subt sub
 
containert con
 

Detailed Description

template<class keyT, class valueT, class predT = std::equal_to<keyT>, bool no_sharing = false>
class sharing_nodet< keyT, valueT, predT, no_sharing >::dt

Definition at line 259 of file sharing_node.h.

Constructor & Destructor Documentation

◆ dt() [1/2]

template<class keyT, class valueT, class predT = std::equal_to<keyT>, bool no_sharing = false>
sharing_nodet< keyT, valueT, predT, no_sharing >::dt::dt ( )
inline

Definition at line 262 of file sharing_node.h.

◆ dt() [2/2]

template<class keyT, class valueT, class predT = std::equal_to<keyT>, bool no_sharing = false>
sharing_nodet< keyT, valueT, predT, no_sharing >::dt::dt ( const dt d)
inline

Member Function Documentation

◆ is_leaf()

template<class keyT, class valueT, class predT = std::equal_to<keyT>, bool no_sharing = false>
bool sharing_nodet< keyT, valueT, predT, no_sharing >::dt::is_leaf ( ) const
inline

Member Data Documentation

◆ con

template<class keyT, class valueT, class predT = std::equal_to<keyT>, bool no_sharing = false>
containert sharing_nodet< keyT, valueT, predT, no_sharing >::dt::con

◆ k

template<class keyT, class valueT, class predT = std::equal_to<keyT>, bool no_sharing = false>
std::shared_ptr<key_type> sharing_nodet< keyT, valueT, predT, no_sharing >::dt::k

◆ m

template<class keyT, class valueT, class predT = std::equal_to<keyT>, bool no_sharing = false>
std::unique_ptr<mapped_type> sharing_nodet< keyT, valueT, predT, no_sharing >::dt::m

◆ sub

template<class keyT, class valueT, class predT = std::equal_to<keyT>, bool no_sharing = false>
subt sharing_nodet< keyT, valueT, predT, no_sharing >::dt::sub

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