Functions

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

Detailed Description

Free Symbols.

Symbol Substitution.

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.

static std::optional< exprt > substitute_symbols_rec ( const std::map< irep_idt, exprt > & substitutions,

exprt src

)

static

Definition at line 16 of file substitute_symbols.cpp.