27 std::string
result=
"#anonE";
The type of an expression.
irep_idt generate_anon_tag() const
const std::string & id2string(const irep_idt &d)
std::vector< irept > subt
const irept & body() const
C++ Language Type Checking.
#define forall_irep(it, irep)