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 strategy

typedef for rewrite_strategy

The rewrite strategies of the rewriter.

type substitution_type

typedef for data::mutable_indexed_substitution

The type for the substitution that is used internally.

type term_type

typedef for Term

The type for expressions manipulated by the rewriter.

Protected attributes

std::shared_ptr<detail::Rewriter> m_rewriter

The wrapped Rewriter.

Protected member functions

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

Constructor.

Parameters:

  • r A rewriter
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 &operator=(const basic_rewriter &other) = default

Assignment operator.