1/*******************************************************************\
5Author: Daniel Kroening, kroening@kroening.com
7\*******************************************************************/
10#ifndef CPROVER_UTIL_SIMPLIFY_EXPR_H
11#define CPROVER_UTIL_SIMPLIFY_EXPR_H
17// simplify an expression
20// false: simplified something
27// this is the preferred interface
30#endif // CPROVER_UTIL_SIMPLIFY_EXPR_H
Base class for all expressions.
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)
exprt simplify_expr(exprt src, const namespacet &ns)