mCRL2
Loading...
Searching...
No Matches
Public Types | Public Member Functions | List of all members
mcrl2::lps::detail::data_rewriter_builder< Derived, DataRewriter, SubstitutionFunction > Struct Template Reference

#include <data_rewriter.h>

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

Public Types

typedef data::detail::add_data_rewriter< lps::data_expression_builder, Derived, DataRewriter, SubstitutionFunction > super
 
- Public Types inherited from mcrl2::data::detail::add_data_rewriter< lps::data_expression_builder, Derived, DataRewriter, SubstitutionFunction >
typedef lps::data_expression_builder< Derived > super
 

Public Member Functions

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

Additional Inherited Members

- Public Attributes inherited from mcrl2::data::detail::add_data_rewriter< lps::data_expression_builder, Derived, DataRewriter, SubstitutionFunction >
const DataRewriter & R
 
SubstitutionFunction & sigma
 

Detailed Description

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

Definition at line 25 of file data_rewriter.h.

Member Typedef Documentation

◆ super

template<typename Derived , typename DataRewriter , typename SubstitutionFunction >
typedef data::detail::add_data_rewriter<lps::data_expression_builder, Derived, DataRewriter, SubstitutionFunction> mcrl2::lps::detail::data_rewriter_builder< Derived, DataRewriter, SubstitutionFunction >::super

Definition at line 27 of file data_rewriter.h.

Constructor & Destructor Documentation

◆ data_rewriter_builder()

template<typename Derived , typename DataRewriter , typename SubstitutionFunction >
mcrl2::lps::detail::data_rewriter_builder< Derived, DataRewriter, SubstitutionFunction >::data_rewriter_builder ( const DataRewriter &  R,
SubstitutionFunction &  sigma 
)
inline

Definition at line 32 of file data_rewriter.h.

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