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

#include <data_rewriter.h>

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

Public Types
using	super = add_data_rewriter< data::data_expression_builder, Derived, DataRewriter, SubstitutionFunction >
Public Types inherited from mcrl2::data::detail::add_data_rewriter< data::data_expression_builder, Derived, DataRewriter, SubstitutionFunction >
using	super = data::data_expression_builder< Derived >

Public Member Functions
	data_rewriter_builder (const DataRewriter &R, SubstitutionFunction &sigma)
Public Member Functions inherited from mcrl2::data::detail::add_data_rewriter< data::data_expression_builder, Derived, DataRewriter, SubstitutionFunction >
	add_data_rewriter (const DataRewriter &R, SubstitutionFunction &sigma)
data_expression	operator() (const data_expression &x)
void	apply (T &result, const data_expression &x)

Additional Inherited Members
Public Attributes inherited from mcrl2::data::detail::add_data_rewriter< data::data_expression_builder, Derived, DataRewriter, SubstitutionFunction >
const DataRewriter &	m_R
SubstitutionFunction &	m_sigma

Detailed Description

template<typename Derived, typename DataRewriter, IsSubstitution SubstitutionFunction>
struct mcrl2::data::detail::data_rewriter_builder< Derived, DataRewriter, SubstitutionFunction >

Definition at line 66 of file data_rewriter.h.

Member Typedef Documentation

super

template<typename Derived , typename DataRewriter , IsSubstitution SubstitutionFunction>

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

Definition at line 68 of file data_rewriter.h.

Constructor & Destructor Documentation

data_rewriter_builder()

template<typename Derived , typename DataRewriter , IsSubstitution SubstitutionFunction>

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

inline

Definition at line 73 of file data_rewriter.h.

---

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

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