Loading...

Searching...

No Matches

replace_expr.h

1/*******************************************************************\

2

3Module:

4

5Author: Daniel Kroening, kroening@kroening.com

6

7\*******************************************************************/

8

9

10#ifndef CPROVER_UTIL_REPLACE_EXPR_H

11#define CPROVER_UTIL_REPLACE_EXPR_H

12

13//

14// true: did nothing

15// false: replaced something

16//

17

18#include "expr.h"

19

20#include <unordered_map>

21

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

23

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

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

26

27#endif // CPROVER_UTIL_REPLACE_EXPR_H

ait supplies three of the four components needed: an abstract interpreter (in this case handling func...

Definition ai.h:566

Base class for all expressions.

Definition expr.h:57

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

Definition replace_expr.h:22

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

Definition replace_expr.cpp:12

CBMC: /home/runner/work/cbmc/cbmc/src/util/replace_expr.h Source File