10 #ifndef CPROVER_LANGAPI_LANGUAGES_H 11 #define CPROVER_LANGAPI_LANGUAGES_H 31 const std::string &code,
32 const std::string &module,
48 #endif // CPROVER_LANGAPI_LANGUAGES_H The type of an expression.
bool from_expr(const exprt &expr, std::string &code)
virtual bool to_expr(const std::string &code, const std::string &module, exprt &expr, const namespacet &ns)=0
Abstract interface to support a programming language.
bool to_expr(const std::string &code, const std::string &module, exprt &expr)
virtual bool from_type(const typet &type, std::string &code, const namespacet &ns)
Base class for all expressions.
languagest(const namespacet &_ns, languaget *_language)
bool from_type(const typet &type, std::string &code)
virtual bool from_expr(const exprt &expr, std::string &code, const namespacet &ns)