mCRL2
Loading...
Searching...
No Matches
mcrl2::data::detail::apply_rewriter_builder< Builder, DataRewriter, SubstitutionFunction > Struct Template Reference

#include <data_rewriter.h>

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

Public Types

typedef Builder< apply_rewriter_builder< Builder, DataRewriter, SubstitutionFunction >, DataRewriter, SubstitutionFunction > super
 

Public Member Functions

 apply_rewriter_builder (const DataRewriter &datar, SubstitutionFunction &sigma)
 

Detailed Description

template<template< class, class, class > class Builder, class DataRewriter, class SubstitutionFunction>
struct mcrl2::data::detail::apply_rewriter_builder< Builder, DataRewriter, SubstitutionFunction >

Definition at line 81 of file data_rewriter.h.

Member Typedef Documentation

◆ super

template<template< class, class, class > class Builder, class DataRewriter , class SubstitutionFunction >
typedef Builder<apply_rewriter_builder<Builder, DataRewriter, SubstitutionFunction>, DataRewriter, SubstitutionFunction> mcrl2::data::detail::apply_rewriter_builder< Builder, DataRewriter, SubstitutionFunction >::super

Definition at line 83 of file data_rewriter.h.

Constructor & Destructor Documentation

◆ apply_rewriter_builder()

template<template< class, class, class > class Builder, class DataRewriter , class SubstitutionFunction >
mcrl2::data::detail::apply_rewriter_builder< Builder, DataRewriter, SubstitutionFunction >::apply_rewriter_builder ( const DataRewriter &  datar,
SubstitutionFunction &  sigma 
)
inline

Definition at line 88 of file data_rewriter.h.


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