cprover
|
#include <string>
Go to the source code of this file.
Functions | |
std::string | expr2cpp (const exprt &expr, const namespacet &ns) |
std::string | type2cpp (const typet &type, const namespacet &ns) |
std::string expr2cpp | ( | const exprt & | expr, |
const namespacet & | ns | ||
) |
Definition at line 505 of file expr2cpp.cpp.
References expr2ct::convert(), expr2cpp(), and expr2ct::get_shorthands().
Referenced by expr2cpp(), cpp_languaget::from_expr(), cpp_typecheckt::to_string(), and type2cpp().
std::string type2cpp | ( | const typet & | type, |
const namespacet & | ns | ||
) |
Definition at line 512 of file expr2cpp.cpp.
References expr2ct::convert(), and expr2cpp().
Referenced by cpp_languaget::from_type(), cpp_typecheckt::to_string(), and cpp_typecheckt::typecheck_expr_trinary().