cprover
simplify_expr.h File Reference

Go to the source code of this file.

Functions

bool simplify (exprt &expr, const namespacet &ns)
 
exprt simplify_expr (const exprt &src, const namespacet &ns)
 

Function Documentation

◆ simplify()

bool simplify ( exprt expr,
const namespacet ns 
)

Definition at line 2320 of file simplify_expr.cpp.

◆ simplify_expr()

exprt simplify_expr ( const exprt src,
const namespacet ns 
)

Definition at line 2325 of file simplify_expr.cpp.