CBMC
Public Types | Public Member Functions | Protected Member Functions | Static Protected Member Functions | Protected Attributes | Static Protected Attributes | List of all members
sharing_treet< derivedt, named_subtreest > Class Template Reference

Base class for tree-like data structures with sharing. More...

#include <irep.h>

+ Inheritance diagram for sharing_treet< derivedt, named_subtreest >:
+ Collaboration diagram for sharing_treet< derivedt, named_subtreest >:

Public Types

using dt = tree_nodet< derivedt, named_subtreest, true >
 
using subt = typename dt::subt
 
using named_subt = typename dt::named_subt
 
using tree_implementationt = sharing_treet
 Used to refer to this class from derived classes. More...
 

Public Member Functions

 sharing_treet (irep_idt _id)
 
 sharing_treet (irep_idt _id, named_subt _named_sub, subt _sub)
 
 sharing_treet ()
 
 sharing_treet (const sharing_treet &irep)
 
 sharing_treet (sharing_treet &&irep)
 
sharing_treet & operator= (const sharing_treet &irep)
 
sharing_treet & operator= (sharing_treet &&irep)
 
 ~sharing_treet ()
 
const dt & read () const
 
dt & write ()
 

Protected Member Functions

void detach ()
 

Static Protected Member Functions

static void remove_ref (dt *old_data)
 
static void nonrecursive_destructor (dt *old_data)
 Does the same as remove_ref, but using an explicit stack instead of recursion. More...
 

Protected Attributes

dt * data
 

Static Protected Attributes

static dt empty_d
 

Detailed Description

template<typename derivedt, typename named_subtreest>
class sharing_treet< derivedt, named_subtreest >

Base class for tree-like data structures with sharing.

Definition at line 148 of file irep.h.

Member Typedef Documentation

◆ dt

template<typename derivedt , typename named_subtreest >
using sharing_treet< derivedt, named_subtreest >::dt = tree_nodet<derivedt, named_subtreest, true>

Definition at line 151 of file irep.h.

◆ named_subt

template<typename derivedt , typename named_subtreest >
using sharing_treet< derivedt, named_subtreest >::named_subt = typename dt::named_subt

Definition at line 153 of file irep.h.

◆ subt

template<typename derivedt , typename named_subtreest >
using sharing_treet< derivedt, named_subtreest >::subt = typename dt::subt

Definition at line 152 of file irep.h.

◆ tree_implementationt

template<typename derivedt , typename named_subtreest >
using sharing_treet< derivedt, named_subtreest >::tree_implementationt = sharing_treet

Used to refer to this class from derived classes.

Definition at line 156 of file irep.h.

Constructor & Destructor Documentation

◆ sharing_treet() [1/5]

template<typename derivedt , typename named_subtreest >
sharing_treet< derivedt, named_subtreest >::sharing_treet ( irep_idt  _id)
inlineexplicit

Definition at line 158 of file irep.h.

◆ sharing_treet() [2/5]

template<typename derivedt , typename named_subtreest >
sharing_treet< derivedt, named_subtreest >::sharing_treet ( irep_idt  _id,
named_subt  _named_sub,
subt  _sub 
)
inline

Definition at line 162 of file irep.h.

◆ sharing_treet() [3/5]

template<typename derivedt , typename named_subtreest >
sharing_treet< derivedt, named_subtreest >::sharing_treet ( )
inline

Definition at line 168 of file irep.h.

◆ sharing_treet() [4/5]

template<typename derivedt , typename named_subtreest >
sharing_treet< derivedt, named_subtreest >::sharing_treet ( const sharing_treet< derivedt, named_subtreest > &  irep)
inline

Definition at line 173 of file irep.h.

◆ sharing_treet() [5/5]

template<typename derivedt , typename named_subtreest >
sharing_treet< derivedt, named_subtreest >::sharing_treet ( sharing_treet< derivedt, named_subtreest > &&  irep)
inline

Definition at line 188 of file irep.h.

◆ ~sharing_treet()

template<typename derivedt , typename named_subtreest >
sharing_treet< derivedt, named_subtreest >::~sharing_treet ( )
inline

Definition at line 226 of file irep.h.

Member Function Documentation

◆ detach()

template<typename derivedt , typename named_subtreest >
void sharing_treet< derivedt, named_subtreest >::detach
protected

Definition at line 510 of file irep.h.

◆ nonrecursive_destructor()

template<typename derivedt , typename named_subtreest >
void sharing_treet< derivedt, named_subtreest >::nonrecursive_destructor ( dt *  old_data)
staticprotected

Does the same as remove_ref, but using an explicit stack instead of recursion.

Definition at line 583 of file irep.h.

◆ operator=() [1/2]

template<typename derivedt , typename named_subtreest >
sharing_treet& sharing_treet< derivedt, named_subtreest >::operator= ( const sharing_treet< derivedt, named_subtreest > &  irep)
inline

Definition at line 196 of file irep.h.

◆ operator=() [2/2]

template<typename derivedt , typename named_subtreest >
sharing_treet& sharing_treet< derivedt, named_subtreest >::operator= ( sharing_treet< derivedt, named_subtreest > &&  irep)
inline

Definition at line 216 of file irep.h.

◆ read()

template<typename derivedt , typename named_subtreest >
const dt& sharing_treet< derivedt, named_subtreest >::read ( ) const
inline

Definition at line 240 of file irep.h.

◆ remove_ref()

template<typename derivedt , typename named_subtreest >
void sharing_treet< derivedt, named_subtreest >::remove_ref ( dt *  old_data)
staticprotected

Definition at line 545 of file irep.h.

◆ write()

template<typename derivedt , typename named_subtreest >
dt& sharing_treet< derivedt, named_subtreest >::write ( )
inline

Definition at line 245 of file irep.h.

Member Data Documentation

◆ data

template<typename derivedt , typename named_subtreest >
dt* sharing_treet< derivedt, named_subtreest >::data
protected

Definition at line 232 of file irep.h.

◆ empty_d

template<typename derivedt , typename named_subtreest >
sharing_treet< derivedt, named_subtreest >::dt sharing_treet< derivedt, named_subtreest >::empty_d
staticprotected

Definition at line 233 of file irep.h.

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