CBMC
substitute_symbols.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: Symbol Substitution
4 
5 Author: Daniel Kroening, dkr@amazon.com
6 
7 \*******************************************************************/
8 
9 #ifndef CPROVER_UTIL_SUBSTITUTE_SYMBOLS_H
10 #define CPROVER_UTIL_SUBSTITUTE_SYMBOLS_H
11 
14 
15 #include "irep.h"
16 
17 #include <map>
18 #include <optional>
19 
20 class exprt;
21 
28 std::optional<exprt>
29 substitute_symbols(const std::map<irep_idt, exprt> &substitutions, exprt);
30 
31 #endif // CPROVER_UTIL_SUBSTITUTE_SYMBOLS_H
exprt
Base class for all expressions.
Definition: expr.h:56
substitute_symbols
std::optional< exprt > substitute_symbols(const std::map< irep_idt, exprt > &substitutions, exprt)
Substitute free occurrences of the variables given by their identifiers in the keys of the map in the...
Definition: substitute_symbols.cpp:111