cprover
irept::dt Class Reference

#include <irep.h>

Collaboration diagram for irept::dt:
[legend]

Private Member Functions

void clear ()
 
void swap (dt &d)
 
 dt ()
 

Private Attributes

unsigned ref_count
 
irep_idt data
 
named_subt named_sub
 
named_subt comments
 
subt sub
 

Friends

class irept
 

Detailed Description

Definition at line 264 of file irep.h.

Constructor & Destructor Documentation

◆ dt()

irept::dt::dt ( )
inlineprivate

Definition at line 306 of file irep.h.

Member Function Documentation

◆ clear()

void irept::dt::clear ( void  )
inlineprivate

Definition at line 283 of file irep.h.

References comments, named_sub, and sub.

Referenced by irept::remove_ref().

◆ swap()

void irept::dt::swap ( dt d)
inlineprivate

Definition at line 294 of file irep.h.

References comments, data, named_sub, sub, and dstringt::swap().

Friends And Related Function Documentation

◆ irept

friend class irept
friend

Definition at line 267 of file irep.h.

Member Data Documentation

◆ comments

named_subt irept::dt::comments
private

Definition at line 276 of file irep.h.

Referenced by clear(), irept::get_comments(), irept::nonrecursive_destructor(), and swap().

◆ data

irep_idt irept::dt::data
private

Definition at line 273 of file irep.h.

Referenced by irept::id(), irept::remove_ref(), and swap().

◆ named_sub

named_subt irept::dt::named_sub
private

Definition at line 275 of file irep.h.

Referenced by clear(), irept::get_named_sub(), irept::nonrecursive_destructor(), and swap().

◆ ref_count

unsigned irept::dt::ref_count
private

Definition at line 270 of file irep.h.

Referenced by irept::nonrecursive_destructor(), irept::operator=(), and irept::remove_ref().

◆ sub

subt irept::dt::sub
private

Definition at line 277 of file irep.h.

Referenced by clear(), irept::get_sub(), irept::nonrecursive_destructor(), and swap().


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