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