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 |
|
private |
|
private |
|
private |