Include file:

#include "mcrl2/lps/lps_rewriter_tool.h
class mcrl2::lps::tools::lps_rewriter_tool

Base class for filter tools that use a lps rewriter.

Protected attributes

lps::lps_rewriter_type mcrl2::lps::tools::lps_rewriter_tool::m_lps_rewriter_type

The type of the lps rewriter.

Protected member functions

void add_options(utilities::interface_description &desc)

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


  • desc An interface description
virtual std::set<lps::lps_rewriter_type> available_rewriters() const

Returns the types of rewriters that are available for this tool. Override this method to change the standard behavior.

Returns: The set { simplify, quantifier_all, quantifier_finite }

virtual lps::lps_rewriter_type default_rewriter() const

Returns the default lps rewriter. Override this method to change the standard behavior.

Returns: The string “simplify”

void parse_options(const utilities::command_line_parser &parser)

Parse non-standard options.


  • parser A command line parser

Public member functions

lps_rewriter_tool(const std::string &name, const std::string &author, const std::string &what_is, const std::string &tool_description, std::string known_issues = "")



  • name The name of the tool
  • author The author(s) of the tool
  • what_is One-line “what is” description of the tool
  • tool_description The description of the tool
  • known_issues Known issues with the tool
lps::lps_rewriter_type rewriter_type() const

Returns the rewriter type.

Returns: The rewriter type

virtual ~lps_rewriter_tool() = default