data_rewriter.h File Reference

add your file description here. More...

Go to the source code of this file.

Classes
struct	mcrl2::data::detail::add_data_rewriter< Builder, Derived, DataRewriter, SubstitutionFunction >
	Applies a data rewriter to data expressions appearing in a term. It works both with and without a substitution. More...
struct	mcrl2::data::detail::data_rewriter_builder< Derived, DataRewriter, SubstitutionFunction >
struct	mcrl2::data::detail::apply_rewriter_builder< Builder, DataRewriter, SubstitutionFunction >
struct	mcrl2::data::data_rewriter< DataRewriter >
	A rewriter that applies a data rewriter to data expressions in a term. More...

Namespaces
namespace	mcrl2
	A class that takes a linear process specification and checks all tau-summands of that LPS for confluence.
namespace	mcrl2::data
	Namespace for all data library functionality.
namespace	mcrl2::data::detail

Functions
template<typename DataRewriter , typename SubstitutionFunction >
data::data_expression	mcrl2::data::detail::data_rewrite (const data::data_expression &x, const DataRewriter &R, SubstitutionFunction &sigma)
template<typename DataRewriter >
data::data_expression	mcrl2::data::detail::data_rewrite (const data::data_expression &x, const DataRewriter &R, data::no_substitution &)
template<template< class, class, class > class Builder, class DataRewriter , class SubstitutionFunction >
apply_rewriter_builder< Builder, DataRewriter, SubstitutionFunction >	mcrl2::data::detail::make_apply_rewriter_builder (const DataRewriter &datar, SubstitutionFunction &sigma)

Detailed Description

add your file description here.

Definition in file data_rewriter.h.