cprover
Loading...
Searching...
No Matches
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#include "optional.h"
17
18#include <map>
19
20class exprt;
21
29substitute_symbols(const std::map<irep_idt, exprt> &substitutions, exprt);
30
31#endif // CPROVER_UTIL_SUBSTITUTE_SYMBOLS_H
Base class for all expressions.
Definition expr.h:56
nonstd::optional< T > optionalt
Definition optional.h:35
optionalt< 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...