27 const std::string &module,
28 std::set<std::string> &modules)
The type of an expression.
std::string pretty(unsigned indent=0, unsigned max_indent=0) const
virtual bool type_to_name(const typet &type, std::string &name, const namespacet &ns)
virtual bool interfaces(symbol_tablet &symbol_table)
Abstract interface to support a programming language.
virtual bool from_type(const typet &type, std::string &code, const namespacet &ns)
Base class for all expressions.
virtual void dependencies(const std::string &module, std::set< std::string > &modules)
virtual bool from_expr(const exprt &expr, std::string &code, const namespacet &ns)
virtual bool final(symbol_tablet &symbol_table)