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

Applies a data rewriter to data expressions appearing in a term. It works both with and without a substitution. More...

#include <data_rewriter.h>

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

Public Types

typedef Builder< Derived > super
 

Public Member Functions

 add_data_rewriter (const DataRewriter &R_, SubstitutionFunction &sigma_)
 
data_expression operator() (const data::data_expression &x)
 
template<class T >
void apply (T &result, const data::data_expression &x)
 

Public Attributes

const DataRewriter & R
 
SubstitutionFunction & sigma
 

Detailed Description

template<template< class > class Builder, class Derived, class DataRewriter, class SubstitutionFunction = data::no_substitution>
struct mcrl2::data::detail::add_data_rewriter< Builder, Derived, DataRewriter, SubstitutionFunction >

Applies a data rewriter to data expressions appearing in a term. It works both with and without a substitution.

Definition at line 40 of file data_rewriter.h.

Member Typedef Documentation

◆ super

template<template< class > class Builder, class Derived , class DataRewriter , class SubstitutionFunction = data::no_substitution>
typedef Builder<Derived> mcrl2::data::detail::add_data_rewriter< Builder, Derived, DataRewriter, SubstitutionFunction >::super

Definition at line 42 of file data_rewriter.h.

Constructor & Destructor Documentation

◆ add_data_rewriter()

template<template< class > class Builder, class Derived , class DataRewriter , class SubstitutionFunction = data::no_substitution>
mcrl2::data::detail::add_data_rewriter< Builder, Derived, DataRewriter, SubstitutionFunction >::add_data_rewriter ( const DataRewriter &  R_,
SubstitutionFunction &  sigma_ 
)
inline

Definition at line 50 of file data_rewriter.h.

Member Function Documentation

◆ apply()

template<template< class > class Builder, class Derived , class DataRewriter , class SubstitutionFunction = data::no_substitution>
template<class T >
void mcrl2::data::detail::add_data_rewriter< Builder, Derived, DataRewriter, SubstitutionFunction >::apply ( T &  result,
const data::data_expression x 
)
inline

Definition at line 60 of file data_rewriter.h.

◆ operator()()

template<template< class > class Builder, class Derived , class DataRewriter , class SubstitutionFunction = data::no_substitution>
data_expression mcrl2::data::detail::add_data_rewriter< Builder, Derived, DataRewriter, SubstitutionFunction >::operator() ( const data::data_expression x)
inline

Definition at line 54 of file data_rewriter.h.

Member Data Documentation

◆ R

template<template< class > class Builder, class Derived , class DataRewriter , class SubstitutionFunction = data::no_substitution>
const DataRewriter& mcrl2::data::detail::add_data_rewriter< Builder, Derived, DataRewriter, SubstitutionFunction >::R

Definition at line 47 of file data_rewriter.h.

◆ sigma

template<template< class > class Builder, class Derived , class DataRewriter , class SubstitutionFunction = data::no_substitution>
SubstitutionFunction& mcrl2::data::detail::add_data_rewriter< Builder, Derived, DataRewriter, SubstitutionFunction >::sigma

Definition at line 48 of file data_rewriter.h.


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