mcrl2::data::basic_rewriter

Include file:

#include "mcrl2/data/rewriter.h

class mcrl2::data::basic_rewriter

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

Public types

type mcrl2::data::basic_rewriter::strategy

typedef for rewrite_strategy

The rewrite strategies of the rewriter.

type mcrl2::data::basic_rewriter::substitution_type

typedef for data::mutable_indexed_substitution

The type for the substitution that is used internally.

type mcrl2::data::basic_rewriter::term_type

typedef for Term

The type for expressions manipulated by the rewriter.

Protected attributes

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

The wrapped Rewriter.

Protected member functions

basic_rewriter(const basic_rewriter &other) = default

Copy Constructor.

basic_rewriter(const data_specification &d, const strategy s = jitty)

Constructor.

Parameters:

• d A data specification
• s A rewriter strategy.

basic_rewriter(const data_specification &d, const used_data_equation_selector &equation_selector, const strategy s = jitty)

Constructor.

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

Constructor.

Parameters:

• r A rewriter

basic_rewriter &operator=(const basic_rewriter &other) = default

Assignment operator.