10 #ifndef CPROVER_UTIL_SIMPLIFY_EXPR_H 11 #define CPROVER_UTIL_SIMPLIFY_EXPR_H 30 #endif // CPROVER_UTIL_SIMPLIFY_EXPR_H exprt simplify_expr(const exprt &src, const namespacet &ns)
A namespacet is essentially one or two symbol tables bound together, to allow for symbol lookups in t...
bool simplify(exprt &expr, const namespacet &ns)
Base class for all expressions.