cprover
|
#include <irep.h>
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 |
|
inlineprivate |
|
inlineprivate |
|
private |
Definition at line 350 of file irep.h.
Referenced by clear(), irept::get_comments(), irept::nonrecursive_destructor(), and swap().
|
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.
Referenced by irept::id(), irept::remove_ref(), and swap().
|
private |
Definition at line 349 of file irep.h.
Referenced by clear(), irept::get_named_sub(), irept::nonrecursive_destructor(), and swap().
|
private |
Definition at line 342 of file irep.h.
Referenced by irept::nonrecursive_destructor(), irept::operator=(), and irept::remove_ref().
|
private |
Definition at line 351 of file irep.h.
Referenced by clear(), irept::get_sub(), irept::nonrecursive_destructor(), and swap().