replace.h¶

Include file:

#include "mcrl2/process/replace.h"

add your file description here.

Classes¶

T mcrl2::process::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::process::replace_all_variables(T &x, const Substitution &sigma, typename std::enable_if<!std::is_base_of<atermpp::aterm, T>::value>::type * = nullptr)¶

T mcrl2::process::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::process::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::process::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. }

T mcrl2::process::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::process::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. }

void mcrl2::process::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::process::replace_process_identifiers(const T &x, const Substitution &sigma, typename std::enable_if<std::is_base_of<atermpp::aterm, T>::value>::type * = nullptr)¶

void mcrl2::process::replace_process_identifiers(T &x, const Substitution &sigma, typename std::enable_if<!std::is_base_of<atermpp::aterm, T>::value>::type * = 0)¶

T mcrl2::process::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::process::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::process::replace_variables(const T &x, const Substitution &sigma, typename std::enable_if<std::is_base_of<atermpp::aterm, T>::value>::type * = nullptr)¶

void mcrl2::process::replace_variables(T &x, const Substitution &sigma, typename std::enable_if<!std::is_base_of<atermpp::aterm, T>::value>::type * = nullptr)¶