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
typedef pbes_expression	term_type
typedef data::variable	variable_type

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 123 of file data_rewriter.h.

Member Typedef Documentation

term_type

template<typename DataRewriter >

typedef pbes_expression mcrl2::pbes_system::data_rewriter< DataRewriter >::term_type

Definition at line 125 of file data_rewriter.h.

variable_type

template<typename DataRewriter >

typedef data::variable mcrl2::pbes_system::data_rewriter< DataRewriter >::variable_type

Definition at line 126 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 130 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 134 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 143 of file data_rewriter.h.

Member Data Documentation

R

template<typename DataRewriter >

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

Definition at line 128 of file data_rewriter.h.

---

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

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