mCRL2
Loading...
Searching...
No Matches
mcrl2::data::data_rewriter< DataRewriter > Struct Template Reference

A rewriter that applies a data rewriter to data expressions in a term. More...

#include <data_rewriter.h>

Public Types

typedef data_expression term_type
 
typedef data::variable variable_type
 

Public Member Functions

 data_rewriter (const DataRewriter &R_)
 
data_expression operator() (const data_expression &x) const
 
template<typename SubstitutionFunction >
data_expression operator() (const data_expression &x, SubstitutionFunction &sigma) const
 

Public Attributes

const DataRewriter & R
 

Detailed Description

template<typename DataRewriter>
struct mcrl2::data::data_rewriter< DataRewriter >

A rewriter that applies a data rewriter to data expressions in a term.

Definition at line 108 of file data_rewriter.h.

Member Typedef Documentation

◆ term_type

template<typename DataRewriter >
typedef data_expression mcrl2::data::data_rewriter< DataRewriter >::term_type

Definition at line 110 of file data_rewriter.h.

◆ variable_type

template<typename DataRewriter >
typedef data::variable mcrl2::data::data_rewriter< DataRewriter >::variable_type

Definition at line 111 of file data_rewriter.h.

Constructor & Destructor Documentation

◆ data_rewriter()

template<typename DataRewriter >
mcrl2::data::data_rewriter< DataRewriter >::data_rewriter ( const DataRewriter &  R_)
inline

Definition at line 115 of file data_rewriter.h.

Member Function Documentation

◆ operator()() [1/2]

template<typename DataRewriter >
data_expression mcrl2::data::data_rewriter< DataRewriter >::operator() ( const data_expression x) const
inline

Definition at line 119 of file data_rewriter.h.

◆ operator()() [2/2]

template<typename DataRewriter >
template<typename SubstitutionFunction >
data_expression mcrl2::data::data_rewriter< DataRewriter >::operator() ( const data_expression x,
SubstitutionFunction &  sigma 
) const
inline

Definition at line 126 of file data_rewriter.h.

Member Data Documentation

◆ R

template<typename DataRewriter >
const DataRewriter& mcrl2::data::data_rewriter< DataRewriter >::R

Definition at line 113 of file data_rewriter.h.


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