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

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

#include <irep.h>

+ Collaboration diagram for non_sharing_treet< derivedt, named_subtreest >:

Public Types

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

Public Member Functions

 non_sharing_treet (irep_idt _id)
 
 non_sharing_treet (irep_idt _id, named_subt _named_sub, subt _sub)
 
 non_sharing_treet ()=default
 
const dt & read () const
 
dt & write ()
 

Protected Attributes

dt data
 

Detailed Description

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

Base class for tree-like data structures without sharing.

Definition at line 270 of file irep.h.

Member Typedef Documentation

◆ dt

template<typename derivedt , typename named_subtreest >
using non_sharing_treet< derivedt, named_subtreest >::dt = tree_nodet<derivedt, named_subtreest, false>

Definition at line 273 of file irep.h.

◆ named_subt

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

Definition at line 275 of file irep.h.

◆ subt

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

Definition at line 274 of file irep.h.

◆ tree_implementationt

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

Used to refer to this class from derived classes.

Definition at line 278 of file irep.h.

Constructor & Destructor Documentation

◆ non_sharing_treet() [1/3]

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

Definition at line 280 of file irep.h.

◆ non_sharing_treet() [2/3]

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

Definition at line 284 of file irep.h.

◆ non_sharing_treet() [3/3]

template<typename derivedt , typename named_subtreest >
non_sharing_treet< derivedt, named_subtreest >::non_sharing_treet ( )
default

Member Function Documentation

◆ read()

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

Definition at line 291 of file irep.h.

◆ write()

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

Definition at line 296 of file irep.h.

Member Data Documentation

◆ data

template<typename derivedt , typename named_subtreest >
dt non_sharing_treet< derivedt, named_subtreest >::data
protected

Definition at line 305 of file irep.h.

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