|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#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 |
|
inline |
|
inline |
|
inline |
|
inline |
| named_subt irept::dt::comments |
| irep_idt irept::dt::data |
|
mutable |
| named_subt irept::dt::named_sub |
| unsigned irept::dt::ref_count |
| subt irept::dt::sub |