mcrl2/pbes/rewrite.h

Include file:

#include "mcrl2/pbes/rewrite.h"

add your file description here.

Classes

  • mcrl2::pbes_system::detail::rewrite_pbes_expressions_builder

  • mcrl2::pbes_system::detail::rewrite_pbes_expressions_with_substitution_builder

Functions

void mcrl2::pbes_system::pbes_rewrite(T &x, const Rewriter &R, typename std::enable_if<!std::is_base_of<atermpp::aterm, T>::value>::type * = nullptr)

Rewrites all embedded pbes expressions in an object x.

Parameters:

  • x an object containing expressions

  • R a pbes rewriter

T mcrl2::pbes_system::pbes_rewrite(const T &x, const Rewriter &R, typename std::enable_if<std::is_base_of<atermpp::aterm, T>::value>::type * = 0)

Rewrites all embedded pbes expressions in an object x.

Parameters:

  • x an object containing expressions

  • R a pbes rewriter

Returns: the rewrite result

void mcrl2::pbes_system::pbes_rewrite(T &x, const Rewriter &R, Substitution sigma, typename std::enable_if<!std::is_base_of<atermpp::aterm, T>::value>::type * = 0)

Rewrites all embedded pbes expressions in an object x, and applies a substitution to variables on the fly.

Parameters:

  • x an object containing expressions

  • R a pbes rewriter

  • sigma a substitution

T mcrl2::pbes_system::pbes_rewrite(const T &x, const Rewriter &R, Substitution sigma, typename std::enable_if<std::is_base_of<atermpp::aterm, T>::value>::type * = 0)

Rewrites all embedded pbes expressions in an object x, and applies a substitution to variables on the fly.

Parameters:

  • x an object containing expressions

  • R a pbes rewriter

  • sigma a substitution

Returns: the rewrite result

void mcrl2::pbes_system::rewrite(T &x, Rewriter R, typename std::enable_if<!std::is_base_of<atermpp::aterm, T>::value>::type * = nullptr)

Rewrites all embedded expressions in an object x.

Parameters:

  • x an object containing expressions

  • R a rewriter

T mcrl2::pbes_system::rewrite(const T &x, Rewriter R, typename std::enable_if<std::is_base_of<atermpp::aterm, T>::value>::type * = nullptr)

Rewrites all embedded expressions in an object x.

Parameters:

  • x an object containing expressions

  • R a rewriter

Returns: the rewrite result

void mcrl2::pbes_system::rewrite(T &x, Rewriter R, const Substitution &sigma, typename std::enable_if<!std::is_base_of<atermpp::aterm, T>::value>::type * = nullptr)

Rewrites all embedded expressions in an object x, and applies a substitution to variables on the fly.

Parameters:

  • x an object containing expressions

  • R a rewriter

  • sigma a substitution

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

Rewrites all embedded expressions in an object x, and applies a substitution to variables on the fly.

Parameters:

  • x an object containing expressions

  • R a rewriter

  • sigma a substitution

Returns: the rewrite result

Functions

rewrite_pbes_expressions_builder<Builder, Rewriter> mcrl2::pbes_system::detail::make_rewrite_pbes_expressions_builder(const Rewriter &R)
rewrite_pbes_expressions_with_substitution_builder<Builder, Rewriter, Substitution> mcrl2::pbes_system::detail::make_rewrite_pbes_expressions_with_substitution_builder(const Rewriter &R, Substitution sigma)