mcrl2/process/replace.h

Include file:

#include "mcrl2/process/replace.h"

add your file description here.

Classes

  • mcrl2::process::process_identifier_assignment

Functions

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_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_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_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_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::process::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::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)

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, 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::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_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_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_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_variables(T &x, const Substitution &sigma, 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)