CBMC
•All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Modules Pages
substitute_symbols.h
Go to the documentation of this file.
1/*******************************************************************\
2
3Module: Symbol Substitution
4
5Author: 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
20class exprt;
21
28std::optional<exprt>
29substitute_symbols(const std::map<irep_idt, exprt> &substitutions, exprt);
30
31#endif // CPROVER_UTIL_SUBSTITUTE_SYMBOLS_H
ait
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
Definition ai.h:562
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