mcrl2/modal_formula/replace_capture_avoiding.h

Include file:

#include "mcrl2/modal_formula/replace_capture_avoiding.h"

add your file description here.

Classes

• mcrl2::state_formulas::detail::add_capture_avoiding_replacement
• mcrl2::regular_formulas::detail::add_capture_avoiding_replacement
• mcrl2::action_formulas::detail::add_capture_avoiding_replacement

Functions

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

brief Applies sigma as a capture avoiding substitution to x. param x The object to which the substiution is applied. param sigma A substitution. param id_generator An identifier generator that generates names that do not appear in x and sigma

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

brief Applies sigma as a capture avoiding substitution to x. param x The object to which the substiution is applied. param sigma A substitution.

void mcrl2::action_formulas::replace_variables_capture_avoiding(T &x, Substitution &sigma, data::set_identifier_generator &id_generator, typename std::enable_if<!std::is_base_of<atermpp::aterm, T>::value>::type * = nullptr)

brief Applies sigma as a capture avoiding substitution to x. param x The object to which the subsitution is applied. param sigma A substitution. param id_generator An identifier generator that generates names that do not appear in x and sigma

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

brief Applies sigma as a capture avoiding substitution to x. param x The object to which the subsitution is applied. param sigma A substitution.

Functions

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

brief Applies sigma as a capture avoiding substitution to x. param x The object to which the substiution is applied. param sigma A substitution. param id_generator An identifier generator that generates names that do not appear in x and sigma

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

brief Applies sigma as a capture avoiding substitution to x. param x The object to which the substiution is applied. param sigma A substitution.

void mcrl2::regular_formulas::replace_variables_capture_avoiding(T &x, Substitution &sigma, data::set_identifier_generator &id_generator, typename std::enable_if<!std::is_base_of<atermpp::aterm, T>::value>::type * = nullptr)

brief Applies sigma as a capture avoiding substitution to x. param x The object to which the subsitution is applied. param sigma A substitution. param id_generator An identifier generator that generates names that do not appear in x and sigma

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

brief Applies sigma as a capture avoiding substitution to x. param x The object to which the subsitution is applied. param sigma A substitution.

Functions

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

brief Applies sigma as a capture avoiding substitution to x. param x The object to which the substiution is applied. param sigma A substitution. param id_generator An identifier generator that generates names that do not appear in x and sigma

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

brief Applies sigma as a capture avoiding substitution to x. param x The object to which the substiution is applied. param sigma A substitution.

void mcrl2::state_formulas::replace_variables_capture_avoiding(T &x, Substitution &sigma, data::set_identifier_generator &id_generator, typename std::enable_if<!std::is_base_of<atermpp::aterm, T>::value>::type * = nullptr)

brief Applies sigma as a capture avoiding substitution to x. param x The object to which the subsitution is applied. param sigma A substitution. param id_generator An identifier generator that generates names that do not appear in x and sigma

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

brief Applies sigma as a capture avoiding substitution to x. param x The object to which the subsitution is applied. param sigma A substitution.