|
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 |
|
inlineprivate |
|
private |
Definition at line 276 of file irep.h.
Referenced by clear(), irept::get_comments(), irept::nonrecursive_destructor(), and swap().
|
private |
Definition at line 273 of file irep.h.
Referenced by irept::id(), irept::remove_ref(), and swap().
|
private |
Definition at line 275 of file irep.h.
Referenced by clear(), 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 clear(), irept::get_sub(), irept::nonrecursive_destructor(), and swap().