mcrl2/data/replace_capture_avoiding.h

Include file:

#include "mcrl2/data/replace_capture_avoiding.h"

add your file description here.

Classes

  • mcrl2::data::detail::add_capture_avoiding_replacement

  • mcrl2::data::detail::capture_avoiding_substitution_updater

  • mcrl2::data::detail::replace_capture_avoiding_variables_builder

Functions

void mcrl2::data::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:

  • x The object to which the subsitution is applied.

  • sigma A substitution.

  • id_generator An identifier generator that generates names that do not appear in x and sigma

T mcrl2::data::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:

  • x The object to which the substiution is applied.

  • sigma A substitution.

  • id_generator An identifier generator that generates names that do not appear in x and sigma

void mcrl2::data::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:

  • x The object to which the subsitution is applied.

  • sigma A substitution.

T mcrl2::data::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:

  • x The object to which the substiution is applied.

  • sigma A substitution.

Functions

replace_capture_avoiding_variables_builder<Builder, Binder, Substitution> mcrl2::data::detail::apply_replace_capture_avoiding_variables_builder(capture_avoiding_substitution_updater<Substitution> &sigma)
std::ostream &mcrl2::data::detail::operator<<(std::ostream &out, const capture_avoiding_substitution_updater<Substitution> &sigma)