mcrl2::lps::tools::lps_rewriter_tool< Tool > Class Template Reference

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

#include <lps_rewriter_tool.h>

Inheritance diagram for mcrl2::lps::tools::lps_rewriter_tool< Tool >:

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="")
	Constructor.
virtual	~lps_rewriter_tool ()=default
	Destructor.
lps::lps_rewriter_type	rewriter_type () const
	Returns the rewriter type.

Protected Member Functions
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.
virtual lps::lps_rewriter_type	default_rewriter () const
	Returns the default lps rewriter. Override this method to change the standard behavior.
void	add_options (utilities::interface_description &desc)
	Add options to an interface description. Also includes rewriter options.
void	parse_options (const utilities::command_line_parser &parser)
	Parse non-standard options.

Protected Attributes
lps::lps_rewriter_type	m_lps_rewriter_type
	The type of the lps rewriter.

Detailed Description

template<typename Tool>
class mcrl2::lps::tools::lps_rewriter_tool< Tool >

Base class for filter tools that use a lps rewriter.

Definition at line 30 of file lps_rewriter_tool.h.

Constructor & Destructor Documentation

lps_rewriter_tool()

template<typename Tool >

mcrl2::lps::tools::lps_rewriter_tool< Tool >::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 = ""  )

inline

Constructor.

Parameters

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

Definition at line 95 of file lps_rewriter_tool.h.

~lps_rewriter_tool()

template<typename Tool >

virtual mcrl2::lps::tools::lps_rewriter_tool< Tool >::~lps_rewriter_tool ( )

virtualdefault

Destructor.

Member Function Documentation

add_options()

template<typename Tool >

void mcrl2::lps::tools::lps_rewriter_tool< Tool >::add_options ( utilities::interface_description &  desc )

inlineprotected

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

Parameters

desc	An interface description

Definition at line 59 of file lps_rewriter_tool.h.

available_rewriters()

template<typename Tool >

virtual std::set< lps::lps_rewriter_type > mcrl2::lps::tools::lps_rewriter_tool< Tool >::available_rewriters ( ) const

inlineprotectedvirtual

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 }

Definition at line 39 of file lps_rewriter_tool.h.

default_rewriter()

template<typename Tool >

virtual lps::lps_rewriter_type mcrl2::lps::tools::lps_rewriter_tool< Tool >::default_rewriter ( ) const

inlineprotectedvirtual

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

Returns

The string "simplify"

Definition at line 51 of file lps_rewriter_tool.h.

parse_options()

template<typename Tool >

void mcrl2::lps::tools::lps_rewriter_tool< Tool >::parse_options ( const utilities::command_line_parser &  parser )

inlineprotected

Parse non-standard options.

Parameters

parser

A command line parser

Definition at line 81 of file lps_rewriter_tool.h.

rewriter_type()

template<typename Tool >

lps::lps_rewriter_type mcrl2::lps::tools::lps_rewriter_tool< Tool >::rewriter_type ( ) const

inline

Returns the rewriter type.

Returns

The rewriter type

Definition at line 109 of file lps_rewriter_tool.h.

Member Data Documentation

m_lps_rewriter_type

template<typename Tool >

lps::lps_rewriter_type mcrl2::lps::tools::lps_rewriter_tool< Tool >::m_lps_rewriter_type

protected

The type of the lps rewriter.

Definition at line 34 of file lps_rewriter_tool.h.

---

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

• lps/include/mcrl2/lps/lps_rewriter_tool.h