10 #ifndef CPROVER_CPP_CPP_UTIL_H 11 #define CPROVER_CPP_CPP_UTIL_H 20 exprt tmp(ID_already_typechecked);
25 #endif // CPROVER_CPP_CPP_UTIL_H exprt cpp_symbol_expr(const symbolt &symbol)
void copy_to_operands(const exprt &expr)
void already_typechecked(irept &irep)
Symbol table entry.This is a symbol in the symbol table, stored in an object of type symbol_tablet...
Base class for tree-like data structures with sharing.
Base class for all expressions.