cprover
|
#include <util/irep.h>
Go to the source code of this file.
Functions | |
std::string | from_expr (const namespacet &ns, const irep_idt &identifier, const exprt &expr) |
std::string | from_expr (const exprt &expr) |
std::string | from_type (const namespacet &ns, const irep_idt &identifier, const typet &type) |
std::string | from_type (const typet &type) |
exprt | to_expr (const namespacet &ns, const irep_idt &identifier, const std::string &src) |
std::string | type_to_name (const namespacet &ns, const irep_idt &identifier, const typet &type) |
std::string | type_to_name (const typet &type) |
std::string from_expr | ( | const exprt & | expr | ) |
Definition at line 59 of file language_util.cpp.
std::string from_expr | ( | const namespacet & | ns, |
const irep_idt & | identifier, | ||
const exprt & | expr | ||
) |
Definition at line 20 of file language_util.cpp.
std::string from_type | ( | const namespacet & | ns, |
const irep_idt & | identifier, | ||
const typet & | type | ||
) |
Definition at line 33 of file language_util.cpp.
std::string from_type | ( | const typet & | type | ) |
Definition at line 65 of file language_util.cpp.
exprt to_expr | ( | const namespacet & | ns, |
const irep_idt & | identifier, | ||
const std::string & | src | ||
) |
Definition at line 71 of file language_util.cpp.
std::string type_to_name | ( | const namespacet & | ns, |
const irep_idt & | identifier, | ||
const typet & | type | ||
) |
Definition at line 46 of file language_util.cpp.
std::string type_to_name | ( | const typet & | type | ) |
Definition at line 91 of file language_util.cpp.