CBMC

Symbol Substitution. More...
Go to the source code of this file.
Functions  
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 given expression. More...  
Symbol Substitution.
Definition in file substitute_symbols.h.
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.
Definition at line 111 of file substitute_symbols.cpp.