mcrl2::data::tools::rewriter_tool

Include file:

#include "mcrl2/data/rewriter_tool.h

class mcrl2::data::tools::rewriter_tool

Base class for tools that use a rewriter.

Protected attributes

data::rewrite_strategy mcrl2::data::tools::rewriter_tool::m_rewrite_strategy

The data rewriter strategy.

Protected member functions

void add_options(utilities::interface_description &desc)

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

Parameters:

• desc An interface description

void add_options(utilities::interface_description &desc, bool suppress_jittyp)

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.

void parse_options(const utilities::command_line_parser &parser)

Parse non-standard options.

Parameters:

• parser A command line parser

Public member functions

data::rewriter create_rewriter(const data::data_specification &data_spec = data::data_specification())

Creates a data rewriter as specified on the command line.

Parameters:

• data_spec A data specification

Returns: A data rewriter

data::rewrite_strategy rewrite_strategy() const

Returns the rewrite strategy.

Returns: The rewrite strategy

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.