10 #ifndef CPROVER_UTIL_XML_EXPR_H 11 #define CPROVER_UTIL_XML_EXPR_H 30 #endif // CPROVER_UTIL_XML_EXPR_H The type of an expression, extends irept.
xmlt xml(const exprt &, const namespacet &)
A namespacet is essentially one or two symbol tables bound together, to allow for symbol lookups in t...
Base class for all expressions.