cprover
|
#include <irep.h>
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 |
|
inlineprivate |
Definition at line 283 of file irep.h.
References dstringt::clear().
Referenced by irept::remove_ref().
|
inlineprivate |
|
private |
Definition at line 276 of file irep.h.
Referenced by irept::get_comments(), irept::nonrecursive_destructor(), and swap().
|
private |
Definition at line 273 of file irep.h.
Referenced by irept::id(), irept::read(), irept::remove_ref(), swap(), and irept::write().
|
private |
Definition at line 275 of file irep.h.
Referenced by irept::get_named_sub(), irept::nonrecursive_destructor(), and swap().
|
private |
Definition at line 270 of file irep.h.
Referenced by irept::nonrecursive_destructor(), irept::operator=(), and irept::remove_ref().
|
private |
Definition at line 277 of file irep.h.
Referenced by irept::get_sub(), irept::nonrecursive_destructor(), and swap().