mcrl2::data::basic_rewriter< Term > Class Template Reference

Rewriter class for the mCRL2 Library. It only works for terms of type data_expression and data_expression_with_variables. More...

#include <rewriter.h>

Public Types
typedef data::mutable_indexed_substitution	substitution_type
	The type for the substitution that is used internally.
typedef Term	term_type
	The type for expressions manipulated by the rewriter.
typedef rewrite_strategy	strategy
	The rewrite strategies of the rewriter.

Protected Member Functions
	basic_rewriter (const std::shared_ptr< detail::Rewriter > &r)
	Constructor.
	basic_rewriter (const basic_rewriter &other)=default
	Copy Constructor.
basic_rewriter &	operator= (const basic_rewriter &other)=default
	Assignment operator.
	basic_rewriter (const data_specification &d, const strategy s=jitty)
	Constructor.
	basic_rewriter (const data_specification &d, const used_data_equation_selector &equation_selector, const strategy s=jitty)
	Constructor.

Protected Attributes
std::shared_ptr< detail::Rewriter >	m_rewriter
	The wrapped Rewriter.

Detailed Description

template<typename Term>
class mcrl2::data::basic_rewriter< Term >

Rewriter class for the mCRL2 Library. It only works for terms of type data_expression and data_expression_with_variables.

Definition at line 28 of file rewriter.h.

Member Typedef Documentation

strategy

template<typename Term >

typedef rewrite_strategy mcrl2::data::basic_rewriter< Term >::strategy

The rewrite strategies of the rewriter.

Definition at line 44 of file rewriter.h.

substitution_type

template<typename Term >

typedef data::mutable_indexed_substitution mcrl2::data::basic_rewriter< Term >::substitution_type

The type for the substitution that is used internally.

Definition at line 32 of file rewriter.h.

term_type

template<typename Term >

typedef Term mcrl2::data::basic_rewriter< Term >::term_type

The type for expressions manipulated by the rewriter.

Definition at line 41 of file rewriter.h.

Constructor & Destructor Documentation

basic_rewriter() [1/4]

template<typename Term >

mcrl2::data::basic_rewriter< Term >::basic_rewriter ( const std::shared_ptr< detail::Rewriter > &  r )

inlineexplicitprotected

Constructor.

Parameters

[in]

r

A rewriter

Definition at line 50 of file rewriter.h.

basic_rewriter() [2/4]

template<typename Term >

mcrl2::data::basic_rewriter< Term >::basic_rewriter ( const basic_rewriter< Term > &  other )

protecteddefault

Copy Constructor.

basic_rewriter() [3/4]

template<typename Term >

mcrl2::data::basic_rewriter< Term >::basic_rewriter ( const data_specification &  d, const strategy  s = jitty  )

inlineexplicitprotected

Constructor.

Parameters

[in]	d	A data specification
[in]	s	A rewriter strategy.

Definition at line 63 of file rewriter.h.

basic_rewriter() [4/4]

template<typename Term >

mcrl2::data::basic_rewriter< Term >::basic_rewriter ( const data_specification &  d, const used_data_equation_selector &  equation_selector, const strategy  s = jitty  )

inlineprotected

Constructor.

Definition at line 68 of file rewriter.h.

Member Function Documentation

operator=()

template<typename Term >

basic_rewriter & mcrl2::data::basic_rewriter< Term >::operator= ( const basic_rewriter< Term > &  other )

protecteddefault

Assignment operator.

Member Data Documentation

m_rewriter

template<typename Term >

std::shared_ptr<detail::Rewriter> mcrl2::data::basic_rewriter< Term >::m_rewriter

protected

The wrapped Rewriter.

Definition at line 36 of file rewriter.h.

---

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

• data/include/mcrl2/data/rewriter.h