CBMC
simplify_expr.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module:
4 
5 Author: Daniel Kroening, kroening@kroening.com
6 
7 \*******************************************************************/
8 
9 
10 #ifndef CPROVER_UTIL_SIMPLIFY_EXPR_H
11 #define CPROVER_UTIL_SIMPLIFY_EXPR_H
12 
13 class exprt;
14 class namespacet;
15 
16 //
17 // simplify an expression
18 //
19 // true: did nothing
20 // false: simplified something
21 //
22 
23 bool simplify(
24  exprt &expr,
25  const namespacet &ns);
26 
27 // this is the preferred interface
28 exprt simplify_expr(exprt src, const namespacet &ns);
29 
30 #endif // CPROVER_UTIL_SIMPLIFY_EXPR_H
Base class for all expressions.
Definition: expr.h:56
A namespacet is essentially one or two symbol tables bound together, to allow for symbol lookups in t...
Definition: namespace.h:94
bool simplify(exprt &expr, const namespacet &ns)
exprt simplify_expr(exprt src, const namespacet &ns)