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

#include <data_rewriter.h>

Inheritance diagram for mcrl2::pbes_system::detail::data_rewriter_builder< Derived, DataRewriter, SubstitutionFunction >:
mcrl2::pbes_system::detail::add_data_rewriter< pbes_system::pbes_expression_builder, Derived, DataRewriter, SubstitutionFunction >

Public Types

using super = add_data_rewriter< pbes_system::pbes_expression_builder, Derived, DataRewriter, SubstitutionFunction >
 
- Public Types inherited from mcrl2::pbes_system::detail::add_data_rewriter< pbes_system::pbes_expression_builder, Derived, DataRewriter, SubstitutionFunction >
using super = pbes_system::pbes_expression_builder< Derived >
 

Public Member Functions

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

Additional Inherited Members

- Public Attributes inherited from mcrl2::pbes_system::detail::add_data_rewriter< pbes_system::pbes_expression_builder, Derived, DataRewriter, SubstitutionFunction >
const DataRewriter & R
 
SubstitutionFunction & sigma
 

Detailed Description

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

Definition at line 75 of file data_rewriter.h.

Member Typedef Documentation

◆ super

template<typename Derived , typename DataRewriter , typename SubstitutionFunction >
using mcrl2::pbes_system::detail::data_rewriter_builder< Derived, DataRewriter, SubstitutionFunction >::super = add_data_rewriter<pbes_system::pbes_expression_builder, Derived, DataRewriter, SubstitutionFunction>

Definition at line 77 of file data_rewriter.h.

Constructor & Destructor Documentation

◆ data_rewriter_builder()

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

Definition at line 81 of file data_rewriter.h.

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