CBMC
simplify_expr.h File Reference

Go to the source code of this file.

Functions

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

Function Documentation

◆ simplify()

bool simplify ( exprt expr,
const namespacet ns 
)
Returns
returns true if expression unchanged; returns false if changed

Definition at line 3215 of file simplify_expr.cpp.

◆ simplify_expr()

exprt simplify_expr ( exprt  src,
const namespacet ns 
)

Definition at line 3220 of file simplify_expr.cpp.