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< 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.

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.