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
using	super = Builder< apply_rewriter_builder< Builder, DataRewriter, SubstitutionFunction >, DataRewriter, SubstitutionFunction >

Public Member Functions
	apply_rewriter_builder (const DataRewriter &datar, SubstitutionFunction &sigma)

Detailed Description

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

Definition at line 79 of file data_rewriter.h.

Member Typedef Documentation

super

template<template< class, class, class > class Builder, class DataRewriter , IsSubstitution SubstitutionFunction>

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

Definition at line 81 of file data_rewriter.h.

Constructor & Destructor Documentation

apply_rewriter_builder()

template<template< class, class, class > class Builder, class DataRewriter , IsSubstitution 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:

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