cprover
irept::dt Class Reference

#include <irep.h>

+ Collaboration diagram for irept::dt:

Private Member Functions

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

Private Attributes

unsigned ref_count
 
irep_idt data
 This irep_idt is the only place to store data in an irep, other than the mere nesting structure. More...
 
named_subt named_sub
 
named_subt comments
 
subt sub
 

Friends

class irept
 

Detailed Description

Definition at line 336 of file irep.h.

Constructor & Destructor Documentation

◆ dt()

irept::dt::dt ( )
inlineprivate

Definition at line 380 of file irep.h.

Member Function Documentation

◆ clear()

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

Definition at line 357 of file irep.h.

◆ swap()

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

Definition at line 368 of file irep.h.

Friends And Related Function Documentation

◆ irept

friend class irept
friend

Definition at line 339 of file irep.h.

Member Data Documentation

◆ comments

named_subt irept::dt::comments
private

Definition at line 350 of file irep.h.

◆ data

irep_idt irept::dt::data
private

This irep_idt is the only place to store data in an irep, other than the mere nesting structure.

Definition at line 347 of file irep.h.

◆ named_sub

named_subt irept::dt::named_sub
private

Definition at line 349 of file irep.h.

◆ ref_count

unsigned irept::dt::ref_count
private

Definition at line 342 of file irep.h.

◆ sub

subt irept::dt::sub
private

Definition at line 351 of file irep.h.


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