replace_expr.cpp File Reference

#include "replace_expr.h"
#include "expr_iterator.h"

Include dependency graph for replace_expr.cpp:

Go to the source code of this file.

Functions
bool	replace_expr (const exprt &what, const exprt &by, exprt &dest)
bool	replace_expr (const replace_mapt &what, exprt &dest)

Function Documentation

replace_expr() [1/2]

bool replace_expr	(	const exprt &	what,
		const exprt &	by,
		exprt &	dest
	)

Definition at line 12 of file replace_expr.cpp.

replace_expr() [2/2]

bool replace_expr	(	const replace_mapt &	what,
		exprt &	dest
	)

Definition at line 32 of file replace_expr.cpp.