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

#include <rewriter_wrapper.h>

Public Types
using	substitution_type = Rewriter::substitution_type
using	term_type = data_expression

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 22 of file rewriter_wrapper.h.

Member Typedef Documentation

substitution_type

using mcrl2::data::detail::rewriter_wrapper::substitution_type = Rewriter::substitution_type

Definition at line 25 of file rewriter_wrapper.h.

term_type

using mcrl2::data::detail::rewriter_wrapper::term_type = data_expression

Definition at line 27 of file rewriter_wrapper.h.

Constructor & Destructor Documentation

rewriter_wrapper()

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

inline

Definition at line 29 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 43 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 33 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 49 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 38 of file rewriter_wrapper.h.

Member Data Documentation

m_rewriter

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

protected

Definition at line 56 of file rewriter_wrapper.h.

---

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

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