CBMC
Public Types | Public Attributes | List of all members
d_internalt< keyT, valueT, equalT > Class Template Reference

#include <sharing_node.h>

+ Inheritance diagram for d_internalt< keyT, valueT, equalT >:
+ Collaboration diagram for d_internalt< keyT, valueT, equalT >:

Public Types

typedef sharing_nodet< keyT, valueT, equalT > innert
 
typedef small_mapt< innert > to_mapt
 

Public Attributes

to_mapt m
 

Additional Inherited Members

- 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
 

Detailed Description

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

Definition at line 69 of file sharing_node.h.

Member Typedef Documentation

◆ innert

template<typename keyT , typename valueT , typename equalT = std::equal_to<keyT>>
typedef sharing_nodet< keyT, valueT, equalT > d_internalt< keyT, valueT, equalT >::innert

Definition at line 72 of file sharing_node.h.

◆ to_mapt

template<typename keyT , typename valueT , typename equalT = std::equal_to<keyT>>
typedef small_mapt<innert> d_internalt< keyT, valueT, equalT >::to_mapt

Definition at line 74 of file sharing_node.h.

Member Data Documentation

◆ m

template<typename keyT , typename valueT , typename equalT = std::equal_to<keyT>>
to_mapt d_internalt< keyT, valueT, equalT >::m

Definition at line 79 of file sharing_node.h.

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