mcrl2::data::tools::rewriter_tool< Tool > Class Template Reference

Base class for tools that use a rewriter. More...

#include <rewriter_tool.h>

Inheritance diagram for mcrl2::data::tools::rewriter_tool< Tool >:

Public Member Functions
	rewriter_tool (const std::string &name, const std::string &author, const std::string &what_is, const std::string &tool_description, std::string known_issues="")
	Constructor.
data::rewrite_strategy	rewrite_strategy () const
	Returns the rewrite strategy.
data::rewriter	create_rewriter (const data::data_specification &data_spec=data::data_specification())
	Creates a data rewriter as specified on the command line.

Protected Member Functions
void	add_options (utilities::interface_description &desc, bool suppress_jittyp)
	Add options to an interface description. Also includes rewriter options.
void	add_options (utilities::interface_description &desc) override
	Add options to an interface description. Also includes rewriter options.
void	parse_options (const utilities::command_line_parser &parser) override
	Parse non-standard options.

Protected Attributes
data::rewrite_strategy	m_rewrite_strategy = mcrl2::data::jitty
	The data rewriter strategy.
std::size_t	m_qlimit =10
	The limit on the number of rewriting steps in quantifiers. By default 10;.

Detailed Description

template<typename Tool>
class mcrl2::data::tools::rewriter_tool< Tool >

Base class for tools that use a rewriter.

Definition at line 24 of file rewriter_tool.h.

Constructor & Destructor Documentation

rewriter_tool()

template<typename Tool >

mcrl2::data::tools::rewriter_tool< Tool >::rewriter_tool ( const std::string &  name, const std::string &  author, const std::string &  what_is, const std::string &  tool_description, std::string  known_issues = ""  )

inline

Constructor.

Definition at line 90 of file rewriter_tool.h.

Member Function Documentation

add_options() [1/2]

template<typename Tool >

void mcrl2::data::tools::rewriter_tool< Tool >::add_options ( utilities::interface_description &  desc )

inlineoverrideprotected

Add options to an interface description. Also includes rewriter options.

Parameters

desc	An interface description

Definition at line 69 of file rewriter_tool.h.

add_options() [2/2]

template<typename Tool >

void mcrl2::data::tools::rewriter_tool< Tool >::add_options ( utilities::interface_description &  desc, bool  suppress_jittyp  )

inlineprotected

Add options to an interface description. Also includes rewriter options.

Parameters

desc	An interface description.
suppress_jittyp	Boolean that if true will prevent showing that jittyp is an option for rewriting.

Definition at line 36 of file rewriter_tool.h.

create_rewriter()

template<typename Tool >

data::rewriter mcrl2::data::tools::rewriter_tool< Tool >::create_rewriter ( const data::data_specification &  data_spec = data::data_specification() )

inline

Creates a data rewriter as specified on the command line.

Parameters

data_spec

A data specification

Returns

A data rewriter

Definition at line 109 of file rewriter_tool.h.

parse_options()

template<typename Tool >

void mcrl2::data::tools::rewriter_tool< Tool >::parse_options ( const utilities::command_line_parser &  parser )

inlineoverrideprotected

Parse non-standard options.

Parameters

parser

A command line parser

Definition at line 73 of file rewriter_tool.h.

rewrite_strategy()

template<typename Tool >

data::rewrite_strategy mcrl2::data::tools::rewriter_tool< Tool >::rewrite_strategy ( ) const

inline

Returns the rewrite strategy.

Returns

The rewrite strategy

Definition at line 101 of file rewriter_tool.h.

Member Data Documentation

m_qlimit

template<typename Tool >

std::size_t mcrl2::data::tools::rewriter_tool< Tool >::m_qlimit =10

protected

The limit on the number of rewriting steps in quantifiers. By default 10;.

Definition at line 30 of file rewriter_tool.h.

m_rewrite_strategy

template<typename Tool >

data::rewrite_strategy mcrl2::data::tools::rewriter_tool< Tool >::m_rewrite_strategy = mcrl2::data::jitty

protected

The data rewriter strategy.

Definition at line 28 of file rewriter_tool.h.

---

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

• data/include/mcrl2/data/rewriter_tool.h