mcrl2::pres_system::simplify_data_rewriter< DataRewriter > Struct Template Reference

A rewriter that simplifies boolean expressions in a term, and rewrites data expressions. More...

#include <simplify_rewriter.h>

Public Types
typedef pres_expression	term_type
typedef data::variable	variable_type

Public Member Functions
	simplify_data_rewriter (const data::data_specification &dataspec, const DataRewriter &R_)
pres_expression	operator() (const pres_expression &x) const
template<typename SubstitutionFunction >
pres_expression	operator() (const pres_expression &x, SubstitutionFunction &sigma) const
template<typename SubstitutionFunction >
void	operator() (pres_expression &result, const pres_expression &x, SubstitutionFunction &sigma) const

Public Attributes
const DataRewriter &	R
const data::data_specification &	m_dataspec

Detailed Description

template<typename DataRewriter>
struct mcrl2::pres_system::simplify_data_rewriter< DataRewriter >

A rewriter that simplifies boolean expressions in a term, and rewrites data expressions.

Definition at line 825 of file simplify_rewriter.h.

Member Typedef Documentation

term_type

template<typename DataRewriter >

typedef pres_expression mcrl2::pres_system::simplify_data_rewriter< DataRewriter >::term_type

Definition at line 827 of file simplify_rewriter.h.

variable_type

template<typename DataRewriter >

typedef data::variable mcrl2::pres_system::simplify_data_rewriter< DataRewriter >::variable_type

Definition at line 828 of file simplify_rewriter.h.

Constructor & Destructor Documentation

simplify_data_rewriter()

template<typename DataRewriter >

mcrl2::pres_system::simplify_data_rewriter< DataRewriter >::simplify_data_rewriter ( const data::data_specification &  dataspec, const DataRewriter &  R_  )

inlineexplicit

Definition at line 833 of file simplify_rewriter.h.

Member Function Documentation

operator()() [1/3]

template<typename DataRewriter >

pres_expression mcrl2::pres_system::simplify_data_rewriter< DataRewriter >::operator() ( const pres_expression &  x ) const

inline

Definition at line 838 of file simplify_rewriter.h.

operator()() [2/3]

template<typename DataRewriter >

template<typename SubstitutionFunction >

pres_expression mcrl2::pres_system::simplify_data_rewriter< DataRewriter >::operator() ( const pres_expression &  x, SubstitutionFunction &  sigma  ) const

inline

Definition at line 847 of file simplify_rewriter.h.

operator()() [3/3]

template<typename DataRewriter >

template<typename SubstitutionFunction >

void mcrl2::pres_system::simplify_data_rewriter< DataRewriter >::operator() ( pres_expression &  result, const pres_expression &  x, SubstitutionFunction &  sigma  ) const

inline

Definition at line 855 of file simplify_rewriter.h.

Member Data Documentation

m_dataspec

template<typename DataRewriter >

const data::data_specification& mcrl2::pres_system::simplify_data_rewriter< DataRewriter >::m_dataspec

Definition at line 831 of file simplify_rewriter.h.

R

template<typename DataRewriter >

const DataRewriter& mcrl2::pres_system::simplify_data_rewriter< DataRewriter >::R

Definition at line 830 of file simplify_rewriter.h.

---

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

• pres/include/mcrl2/pres/rewriters/simplify_rewriter.h