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 3238 of file simplify_expr.cpp.

simplify_expr()

exprt simplify_expr	(	exprt	src,
		const namespacet &	ns )

Definition at line 3243 of file simplify_expr.cpp.