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)¶: brief 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)¶: brief 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)¶: brief 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)¶: brief 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.