cprover
d_containert< keyT, valueT, equalT > Class Template Reference

#include <sharing_node.h>

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

Public Types

typedef sharing_node_leaft< keyT, valueT, equalT > leaft
 
typedef std::forward_list< leaftleaf_listt
 

Public Attributes

leaf_listt con
 

Additional Inherited Members

- Public Member Functions inherited from small_shared_two_way_pointeet< Num >
 small_shared_two_way_pointeet ()=default
 
 small_shared_two_way_pointeet (const small_shared_two_way_pointeet &)
 
small_shared_two_way_pointeetoperator= (const small_shared_two_way_pointeet &)
 
Num use_count () const
 
void increment_use_count ()
 
void decrement_use_count ()
 
void set_derived_u ()
 
void set_derived_v ()
 
bool is_derived_u () const
 
bool is_derived_v () const
 
bool is_same_type (const small_shared_two_way_pointeet &other) const
 
- Static Public Attributes inherited from small_shared_two_way_pointeet< Num >
static const int bit_idx = std::numeric_limits<Num>::digits - 1
 
static const Num mask = ~((Num)1 << bit_idx)
 

Detailed Description

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

Definition at line 92 of file sharing_node.h.

Member Typedef Documentation

◆ leaf_listt

template<typename keyT , typename valueT , typename equalT = std::equal_to<keyT>>
typedef std::forward_list<leaft> d_containert< keyT, valueT, equalT >::leaf_listt

Definition at line 96 of file sharing_node.h.

◆ leaft

template<typename keyT , typename valueT , typename equalT = std::equal_to<keyT>>
typedef sharing_node_leaft< keyT, valueT, equalT > d_containert< keyT, valueT, equalT >::leaft

Definition at line 95 of file sharing_node.h.

Member Data Documentation

◆ con

template<typename keyT , typename valueT , typename equalT = std::equal_to<keyT>>
leaf_listt d_containert< keyT, valueT, equalT >::con

Definition at line 98 of file sharing_node.h.


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