cprover
reference_counting< T > Class Template Reference

#include <reference_counting.h>

Inheritance diagram for reference_counting< T >:
[legend]
Collaboration diagram for reference_counting< T >:
[legend]

Classes

class  dt
 

Public Member Functions

 reference_counting ()
 
 reference_counting (const T &other)
 
 reference_counting (const reference_counting &other)
 
reference_countingoperator= (const reference_counting &other)
 
 ~reference_counting ()
 
void swap (reference_counting &other)
 
void clear ()
 
const T & read () const
 
T & write ()
 
dtget_d () const
 

Protected Member Functions

void remove_ref (dt *old_d)
 
void detatch ()
 
void copy_from (const reference_counting &other)
 

Protected Attributes

dtd
 

Detailed Description

template<typename T>
class reference_counting< T >

Definition at line 19 of file reference_counting.h.

Constructor & Destructor Documentation

§ reference_counting() [1/3]

template<typename T>
reference_counting< T >::reference_counting ( )
inline

Definition at line 22 of file reference_counting.h.

§ reference_counting() [2/3]

template<typename T>
reference_counting< T >::reference_counting ( const T &  other)
inlineexplicit

Definition at line 26 of file reference_counting.h.

§ reference_counting() [3/3]

template<typename T>
reference_counting< T >::reference_counting ( const reference_counting< T > &  other)
inline

Definition at line 32 of file reference_counting.h.

§ ~reference_counting()

template<typename T>
reference_counting< T >::~reference_counting ( )
inline

Definition at line 50 of file reference_counting.h.

Member Function Documentation

§ clear()

template<typename T>
void reference_counting< T >::clear ( void  )
inline

Definition at line 61 of file reference_counting.h.

§ copy_from()

template<typename T>
void reference_counting< T >::copy_from ( const reference_counting< T > &  other)
inlineprotected

§ detatch()

template<class T >
void reference_counting< T >::detatch ( )
protected

Definition at line 148 of file reference_counting.h.

Referenced by reference_counting< ref_expr_set_dt >::write().

§ get_d()

template<typename T>
dt* reference_counting< T >::get_d ( ) const
inline

Definition at line 112 of file reference_counting.h.

Referenced by operator==().

§ operator=()

template<typename T>
reference_counting& reference_counting< T >::operator= ( const reference_counting< T > &  other)
inline

Definition at line 44 of file reference_counting.h.

§ read()

template<typename T>
const T& reference_counting< T >::read ( ) const
inline

Definition at line 67 of file reference_counting.h.

Referenced by value_sett::assign_rec(), value_set_fit::assign_rec(), value_set_fivrnst::assign_rec(), value_set_fivrt::assign_rec(), value_set_fivrnst::copy_objects(), value_set_fivrt::copy_objects(), value_sett::do_free(), value_set_fit::do_free(), value_set_fivrnst::do_free(), value_set_fivrt::do_free(), value_set_fit::flatten_rec(), value_set_fivrt::flatten_rec(), value_sett::get_reference_set(), value_set_fit::get_reference_set(), value_set_fivrnst::get_reference_set(), value_set_fivrt::get_reference_set(), value_sett::get_reference_set_rec(), value_set_fivrnst::get_reference_set_rec(), value_set_fit::get_reference_set_sharing(), value_set_fivrt::get_reference_set_sharing(), value_set_fit::get_reference_set_sharing_rec(), value_set_fivrt::get_reference_set_sharing_rec(), value_sett::get_value_set(), value_set_fit::get_value_set(), value_set_fivrnst::get_value_set(), value_set_fivrt::get_value_set(), value_sett::get_value_set_rec(), value_set_fit::get_value_set_rec(), value_set_fivrnst::get_value_set_rec(), value_set_fivrt::get_value_set_rec(), value_sett::insert(), value_set_fit::insert(), value_sett::make_union(), value_set_fit::make_union(), value_set_fivrnst::make_union(), value_set_fivrt::make_union(), value_set_fivrnst::make_valid_union(), value_set_fivrt::make_valid_union(), operator==(), value_sett::output(), value_set_fit::output(), value_set_fivrt::output(), value_set_fivrnst::output_entry(), and value_set_fivrt::recursive_find().

§ remove_ref()

§ swap()

template<typename T>
void reference_counting< T >::swap ( reference_counting< T > &  other)
inline

Definition at line 56 of file reference_counting.h.

§ write()

Member Data Documentation

§ d


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