cprover
Loading...
Searching...
No Matches
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 3374 of file simplify_expr.cpp.

◆ simplify_expr()

exprt simplify_expr ( exprt src,
const namespacet & ns )

Definition at line 3379 of file simplify_expr.cpp.