mcrl2::data::detail::rewriter_wrapper Struct Reference

#include <rewriter_wrapper.h>

Public Types
typedef Rewriter::substitution_type	substitution_type
typedef data_expression	term_type

Public Member Functions
	rewriter_wrapper (Rewriter *r)
data_expression	operator() (const data_expression &t, Rewriter::substitution_type &sigma) const
void	operator() (data_expression &result, const data_expression &t, Rewriter::substitution_type &sigma) const
data_expression	operator() (const data_expression &t) const
void	operator() (data_expression &result, const data_expression &t) const

Protected Attributes
Rewriter *	m_rewriter

Detailed Description

Definition at line 27 of file rewriter_wrapper.h.

Member Typedef Documentation

substitution_type

typedef Rewriter::substitution_type mcrl2::data::detail::rewriter_wrapper::substitution_type

Definition at line 30 of file rewriter_wrapper.h.

term_type

typedef data_expression mcrl2::data::detail::rewriter_wrapper::term_type

Definition at line 32 of file rewriter_wrapper.h.

Constructor & Destructor Documentation

rewriter_wrapper()

mcrl2::data::detail::rewriter_wrapper::rewriter_wrapper ( Rewriter *  r )

inline

Definition at line 34 of file rewriter_wrapper.h.

Member Function Documentation

operator()() [1/4]

data_expression mcrl2::data::detail::rewriter_wrapper::operator() ( const data_expression &  t ) const

inline

Definition at line 48 of file rewriter_wrapper.h.

operator()() [2/4]

data_expression mcrl2::data::detail::rewriter_wrapper::operator() ( const data_expression &  t, Rewriter::substitution_type &  sigma  ) const

inline

Definition at line 38 of file rewriter_wrapper.h.

operator()() [3/4]

void mcrl2::data::detail::rewriter_wrapper::operator() ( data_expression &  result, const data_expression &  t  ) const

inline

Definition at line 54 of file rewriter_wrapper.h.

operator()() [4/4]

void mcrl2::data::detail::rewriter_wrapper::operator() ( data_expression &  result, const data_expression &  t, Rewriter::substitution_type &  sigma  ) const

inline

Definition at line 43 of file rewriter_wrapper.h.

Member Data Documentation

m_rewriter

Rewriter* mcrl2::data::detail::rewriter_wrapper::m_rewriter

protected

Definition at line 61 of file rewriter_wrapper.h.

---

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

• data/include/mcrl2/data/detail/rewriter_wrapper.h