mcrl2::pbes_system::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
using	term_type = pbes_expression
using	variable_type = data::variable

Public Member Functions
	data_rewriter (const DataRewriter &R_)
pbes_expression	operator() (const pbes_expression &x) const
template<typename SubstitutionFunction >
pbes_expression	operator() (const pbes_expression &x, SubstitutionFunction &sigma) const

Public Attributes
const DataRewriter &	R

Detailed Description

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

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

Definition at line 111 of file data_rewriter.h.

Member Typedef Documentation

term_type

template<typename DataRewriter >

using mcrl2::pbes_system::data_rewriter< DataRewriter >::term_type = pbes_expression

Definition at line 113 of file data_rewriter.h.

variable_type

template<typename DataRewriter >

using mcrl2::pbes_system::data_rewriter< DataRewriter >::variable_type = data::variable

Definition at line 114 of file data_rewriter.h.

Constructor & Destructor Documentation

data_rewriter()

template<typename DataRewriter >

mcrl2::pbes_system::data_rewriter< DataRewriter >::data_rewriter ( const DataRewriter &  R_ )

inline

Definition at line 118 of file data_rewriter.h.

Member Function Documentation

operator()() [1/2]

template<typename DataRewriter >

pbes_expression mcrl2::pbes_system::data_rewriter< DataRewriter >::operator() ( const pbes_expression &  x ) const

inline

Definition at line 122 of file data_rewriter.h.

operator()() [2/2]

template<typename DataRewriter >

template<typename SubstitutionFunction >

pbes_expression mcrl2::pbes_system::data_rewriter< DataRewriter >::operator() ( const pbes_expression &  x, SubstitutionFunction &  sigma  ) const

inline

Definition at line 131 of file data_rewriter.h.

Member Data Documentation

R

template<typename DataRewriter >

const DataRewriter& mcrl2::pbes_system::data_rewriter< DataRewriter >::R

Definition at line 116 of file data_rewriter.h.

---

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

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