Include file:
#include "mcrl2/modal_formula/replace_capture_avoiding.h"
add your file description here.
mcrl2::state_formulas::detail::add_capture_avoiding_replacement
mcrl2::regular_formulas::detail::add_capture_avoiding_replacement
mcrl2::action_formulas::detail::add_capture_avoiding_replacement
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)¶Applies sigma as a capture avoiding substitution to x.
Parameters:
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)¶Applies sigma as a capture avoiding substitution to x.
Parameters:
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)¶Applies sigma as a capture avoiding substitution to x.
Parameters:
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)¶Applies sigma as a capture avoiding substitution to x.
Parameters:
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)¶Applies sigma as a capture avoiding substitution to x.
Parameters:
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)¶Applies sigma as a capture avoiding substitution to x.
Parameters:
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)¶Applies sigma as a capture avoiding substitution to x.
Parameters:
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)¶Applies sigma as a capture avoiding substitution to x.
Parameters:
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)¶Applies sigma as a capture avoiding substitution to x.
Parameters:
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)¶Applies sigma as a capture avoiding substitution to x.
Parameters:
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)¶Applies sigma as a capture avoiding substitution to x.
Parameters:
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)¶Applies sigma as a capture avoiding substitution to x.
Parameters: