mcrl2::data::detail::add_data_rewriter< Builder, Derived, DataRewriter, SubstitutionFunction > Struct Template Reference

Applies a data rewriter to data expressions appearing in a term. It works both with and without a substitution. More...

#include <data_rewriter.h>

Inheritance diagram for mcrl2::data::detail::add_data_rewriter< Builder, Derived, DataRewriter, SubstitutionFunction >:

Public Types
using	super = Builder< Derived >

Public Member Functions
	add_data_rewriter (const DataRewriter &R, SubstitutionFunction &sigma)
data_expression	operator() (const data_expression &x)
template<class T >
void	apply (T &result, const data_expression &x)

Public Attributes
const DataRewriter &	m_R
SubstitutionFunction &	m_sigma

Detailed Description

template<template< class > class Builder, class Derived, class DataRewriter, IsSubstitution SubstitutionFunction = no_substitution>
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.

Definition at line 37 of file data_rewriter.h.

Member Typedef Documentation

super

template<template< class > class Builder, class Derived , class DataRewriter , IsSubstitution SubstitutionFunction = no_substitution>

using mcrl2::data::detail::add_data_rewriter< Builder, Derived, DataRewriter, SubstitutionFunction >::super = Builder<Derived>

Definition at line 39 of file data_rewriter.h.

Constructor & Destructor Documentation

add_data_rewriter()

template<template< class > class Builder, class Derived , class DataRewriter , IsSubstitution SubstitutionFunction = no_substitution>

mcrl2::data::detail::add_data_rewriter< Builder, Derived, DataRewriter, SubstitutionFunction >::add_data_rewriter ( const DataRewriter &  R, SubstitutionFunction &  sigma  )

inline

Definition at line 46 of file data_rewriter.h.

Member Function Documentation

apply()

template<template< class > class Builder, class Derived , class DataRewriter , IsSubstitution SubstitutionFunction = no_substitution>

template<class T >

void mcrl2::data::detail::add_data_rewriter< Builder, Derived, DataRewriter, SubstitutionFunction >::apply ( T &  result, const data_expression &  x  )

inline

Definition at line 58 of file data_rewriter.h.

operator()()

template<template< class > class Builder, class Derived , class DataRewriter , IsSubstitution SubstitutionFunction = no_substitution>

data_expression mcrl2::data::detail::add_data_rewriter< Builder, Derived, DataRewriter, SubstitutionFunction >::operator() ( const data_expression &  x )

inline

Definition at line 50 of file data_rewriter.h.

Member Data Documentation

m_R

template<template< class > class Builder, class Derived , class DataRewriter , IsSubstitution SubstitutionFunction = no_substitution>

const DataRewriter& mcrl2::data::detail::add_data_rewriter< Builder, Derived, DataRewriter, SubstitutionFunction >::m_R

Definition at line 43 of file data_rewriter.h.

m_sigma

template<template< class > class Builder, class Derived , class DataRewriter , IsSubstitution SubstitutionFunction = no_substitution>

SubstitutionFunction& mcrl2::data::detail::add_data_rewriter< Builder, Derived, DataRewriter, SubstitutionFunction >::m_sigma

Definition at line 44 of file data_rewriter.h.

---

The documentation for this struct was generated from the following file:

• data/include/mcrl2/data/rewriters/data_rewriter.h