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.

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 262 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 265 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 267 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 266 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 270 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 272 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 276 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 283 of file irep.h.

write()

template<typename derivedt , typename named_subtreest >

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

inline

Definition at line 288 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 297 of file irep.h.

---

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

• /home/runner/work/cbmc/cbmc/src/util/irep.h