mcrl2/modal_formula/rewrite.h

Include file:

#include "mcrl2/modal_formula/rewrite.h"

Functions

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

brief Rewrites all embedded expressions in an object x, and applies a substitution to variables on the fly param x an object containing expressions param R a rewriter param sigma a substitution return the rewrite result

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

brief Rewrites all embedded expressions in an object x param x an object containing expressions param R a rewriter return the rewrite result

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

brief Rewrites all embedded expressions in an object x, and applies a substitution to variables on the fly param x an object containing expressions param R a rewriter param sigma a substitution

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

brief Rewrites all embedded expressions in an object x param x an object containing expressions param R a rewriter

Functions

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

brief Rewrites all embedded expressions in an object x, and applies a substitution to variables on the fly param x an object containing expressions param R a rewriter param sigma a substitution return the rewrite result

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

brief Rewrites all embedded expressions in an object x param x an object containing expressions param R a rewriter return the rewrite result

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

brief Rewrites all embedded expressions in an object x, and applies a substitution to variables on the fly param x an object containing expressions param R a rewriter param sigma a substitution

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

brief Rewrites all embedded expressions in an object x param x an object containing expressions param R a rewriter

Functions

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

brief Rewrites all embedded expressions in an object x, and applies a substitution to variables on the fly param x an object containing expressions param R a rewriter param sigma a substitution return the rewrite result

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

brief Rewrites all embedded expressions in an object x param x an object containing expressions param R a rewriter return the rewrite result

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

brief Rewrites all embedded expressions in an object x, and applies a substitution to variables on the fly param x an object containing expressions param R a rewriter param sigma a substitution

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

brief Rewrites all embedded expressions in an object x param x an object containing expressions param R a rewriter