CBMC
Loading...
Searching...
No Matches
Typedefs | Functions
replace_expr.h File Reference
#include "expr.h"
#include <unordered_map>
+ 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

 
 

Typedef Documentation

◆  replace_mapt

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

Definition at line 22 of file replace_expr.h.

Function Documentation

◆  replace_expr() [1/2]

bool replace_expr ( const exprtwhat,
const exprtby,
exprtdest 
)

Definition at line 12 of file replace_expr.cpp.

◆  replace_expr() [2/2]

bool replace_expr ( const replace_maptwhat,
exprtdest 
)

Definition at line 37 of file replace_expr.cpp.

AltStyle によって変換されたページ (->オリジナル) /