rewrite.h File Reference

add your file description here. More...

Go to the source code of this file.

Classes
struct	mcrl2::pbes_system::detail::rewrite_pbes_expressions_builder< Builder, Rewriter >
struct	mcrl2::pbes_system::detail::rewrite_pbes_expressions_with_substitution_builder< Builder, Rewriter, Substitution >

Namespaces
namespace	mcrl2
namespace	mcrl2::pbes_system
	The main namespace for the PBES library.
namespace	mcrl2::pbes_system::detail

Functions
template<template< class > class Builder, class Rewriter >
rewrite_pbes_expressions_builder< Builder, Rewriter >	mcrl2::pbes_system::detail::make_rewrite_pbes_expressions_builder (const Rewriter &R)
template<template< class > class Builder, class Rewriter , class Substitution >
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)
template<typename T , typename Rewriter > requires (!std::is_base_of_v<atermpp::aterm, T>)
void	mcrl2::pbes_system::rewrite (T &x, Rewriter R)
template<typename T , typename Rewriter > requires std::is_base_of_v<atermpp::aterm, T>
T	mcrl2::pbes_system::rewrite (const T &x, Rewriter R)
template<typename T , typename Rewriter , data::IsSubstitution Substitution> requires (!std::is_base_of_v<atermpp::aterm, T>)
void	mcrl2::pbes_system::rewrite (T &x, Rewriter R, const Substitution &sigma)
template<typename T , typename Rewriter , data::IsSubstitution Substitution> requires std::is_base_of_v<atermpp::aterm, T>
T	mcrl2::pbes_system::rewrite (const T &x, Rewriter R, const Substitution &sigma)
template<typename T , typename Rewriter > requires (!std::is_base_of_v<atermpp::aterm, T>)
void	mcrl2::pbes_system::pbes_rewrite (T &x, const Rewriter &R)
	Rewrites all embedded pbes expressions in an object x.
template<typename T , typename Rewriter > requires (std::is_base_of_v<atermpp::aterm, T>)
T	mcrl2::pbes_system::pbes_rewrite (const T &x, const Rewriter &R)
	Rewrites all embedded pbes expressions in an object x.
template<typename T , typename Rewriter , typename Substitution > requires (!std::is_base_of_v<atermpp::aterm, T>)
void	mcrl2::pbes_system::pbes_rewrite (T &x, const Rewriter &R, Substitution sigma)
	Rewrites all embedded pbes expressions in an object x, and applies a substitution to variables on the fly.
template<typename T , typename Rewriter , typename Substitution > requires (std::is_base_of_v<atermpp::aterm, T>)
T	mcrl2::pbes_system::pbes_rewrite (const T &x, const Rewriter &R, Substitution sigma)
	Rewrites all embedded pbes expressions in an object x, and applies a substitution to variables on the fly.

Detailed Description

add your file description here.

Definition in file rewrite.h.