10 #ifndef CPROVER_LANGAPI_LANGUAGE_UTIL_H 11 #define CPROVER_LANGAPI_LANGUAGE_UTIL_H 36 const std::string &src);
45 #endif // CPROVER_LANGAPI_LANGUAGE_UTIL_H The type of an expression.
std::string type_to_name(const namespacet &ns, const irep_idt &identifier, const typet &type)
std::string from_expr(const namespacet &ns, const irep_idt &identifier, const exprt &expr)
std::string from_type(const namespacet &ns, const irep_idt &identifier, const typet &type)
Base class for all expressions.
exprt to_expr(const namespacet &ns, const irep_idt &identifier, const std::string &src)