mcrl2/data/replace.h

Include file:

#include "mcrl2/data/replace.h"

add your file description here.

Functions

void mcrl2::data::replace_all_variables(T &x, const Substitution &sigma, typename std::enable_if<!std::is_base_of< atermpp::aterm, T >::value >::type *=nullptr)
T mcrl2::data::replace_all_variables(const T &x, const Substitution &sigma, typename std::enable_if<std::is_base_of<atermpp::aterm, T>::value>::type * = nullptr)
void mcrl2::data::replace_data_expressions(T &x, const Substitution &sigma, bool innermost, typename std::enable_if<!std::is_base_of< atermpp::aterm, T >::value >::type *=nullptr)
T mcrl2::data::replace_data_expressions(const T &x, const Substitution &sigma, bool innermost, typename std::enable_if<std::is_base_of<atermpp::aterm, T>::value>::type * = nullptr)
void mcrl2::data::replace_free_variables(T &x, const Substitution &sigma, typename std::enable_if<!std::is_base_of< atermpp::aterm, T >::value >::type *=nullptr)

Applies the substitution sigma to x.

Pre: { The substitution sigma must have the property that FV(sigma(x)) is included in {x} for all variables x. }

T mcrl2::data::replace_free_variables(const T &x, const Substitution &sigma, typename std::enable_if<std::is_base_of<atermpp::aterm, T>::value>::type * = nullptr)

Applies the substitution sigma to x.

Pre: { The substitution sigma must have the property that FV(sigma(x)) is included in {x} for all variables x. }

void mcrl2::data::replace_free_variables(T &x, const Substitution &sigma, const VariableContainer &bound_variables, typename std::enable_if<!std::is_base_of< atermpp::aterm, T >::value >::type *=nullptr)

Applies the substitution sigma to x, where the elements of bound_variables are treated as bound variables.

Pre: { The substitution sigma must have the property that FV(sigma(x)) is included in {x} for all variables x. }

T mcrl2::data::replace_free_variables(const T &x, const Substitution &sigma, const VariableContainer &bound_variables, typename std::enable_if<std::is_base_of<atermpp::aterm, T>::value>::type * = nullptr)

Applies the substitution sigma to x, where the elements of bound_variables are treated as bound variables.

Pre: { The substitution sigma must have the property that FV(sigma(x)) is included in {x} for all variables x. }

void mcrl2::data::replace_sort_expressions(T &x, const Substitution &sigma, bool innermost, typename std::enable_if<!std::is_base_of< atermpp::aterm, T >::value >::type *=nullptr)
T mcrl2::data::replace_sort_expressions(const T &x, const Substitution &sigma, bool innermost, typename std::enable_if<std::is_base_of<atermpp::aterm, T>::value>::type * = nullptr)
void mcrl2::data::replace_variables(T &x, const Substitution &sigma, typename std::enable_if<!std::is_base_of< atermpp::aterm, T >::value >::type *=nullptr)
T mcrl2::data::replace_variables(const T &x, const Substitution &sigma, typename std::enable_if<std::is_base_of<atermpp::aterm, T>::value>::type * = nullptr)
void mcrl2::data::substitute_sorts(T &x, const Substitution &sigma, typename std::enable_if< !std::is_base_of< atermpp::aterm, T >::value >::type *=0)
T mcrl2::data::substitute_sorts(const T &x, const Substitution &sigma, typename std::enable_if<std::is_base_of<atermpp::aterm, T>::value>::type * = 0)
std::set<data::variable> mcrl2::data::substitution_variables(const Substitution&)

Returns the variables appearing in the right hand sides of the substitution.