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 dstringt::clear().

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 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::read(), irept::remove_ref(), swap(), and irept::write().

§ named_sub

named_subt irept::dt::named_sub
private

Definition at line 275 of file irep.h.

Referenced by 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 irept::get_sub(), irept::nonrecursive_destructor(), and swap().


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