ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
irept::dt Class Reference

#include <irep.h>

Public Member Functions

void clear ()
void swap (dt &d)
 dt ()
 dt (const irept::dt &other)

Public Attributes

unsigned ref_count
std::mutex dt_mutex
irep_idt data
named_subt named_sub
named_subt comments
subt sub

Constructor & Destructor Documentation

◆ dt() [1/2]

irept::dt::dt ( )
inline

◆ dt() [2/2]

irept::dt::dt ( const irept::dt & other)
inline

Member Function Documentation

◆ clear()

void irept::dt::clear ( )
inline

◆ swap()

void irept::dt::swap ( dt & d)
inline

Member Data Documentation

◆ comments

named_subt irept::dt::comments

◆ data

irep_idt irept::dt::data

◆ dt_mutex

std::mutex irept::dt::dt_mutex
mutable

◆ named_sub

named_subt irept::dt::named_sub

◆ ref_count

unsigned irept::dt::ref_count

◆ sub

subt irept::dt::sub

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