CBMC
substitute_symbols.h File Reference

Symbol Substitution. More...

#include "irep.h"
#include <map>
#include <optional>
+ Include dependency graph for substitute_symbols.h:
+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions

std::optional< exprtsubstitute_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 given expression. More...
 

Detailed Description

Symbol Substitution.

Definition in file substitute_symbols.h.

Function Documentation

◆ substitute_symbols()

std::optional<exprt> substitute_symbols ( const std::map< irep_idt, exprt > &  substitutions,
exprt  src 
)

Substitute free occurrences of the variables given by their identifiers in the keys of the map in the given expression.

Only symbol_exprt expressions are substituted.

Returns
expression after substitution, or {} when no substitution took place

Definition at line 111 of file substitute_symbols.cpp.