cprover
replace_expr.h File Reference
#include "expr.h"
Include dependency graph for replace_expr.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Typedefs

typedef std::unordered_map< exprt, exprt, irep_hashreplace_mapt
 

Functions

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

Typedef Documentation

◆ replace_mapt

typedef std::unordered_map<exprt, exprt, irep_hash> replace_mapt

Definition at line 20 of file replace_expr.h.

Function Documentation

◆ replace_expr() [1/2]

◆ replace_expr() [2/2]

bool replace_expr ( const replace_mapt what,
exprt dest 
)

Definition at line 28 of file replace_expr.cpp.

References Forall_operands, and replace_expr().