mcrl2::pbes_system::tools::pbes_rewriter_tool< Tool > Class Template Reference

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

#include <pbes_rewriter_tool.h>

Inheritance diagram for mcrl2::pbes_system::tools::pbes_rewriter_tool< Tool >:

Public Member Functions
	pbes_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.
	~pbes_rewriter_tool () override=default
	Destructor.
pbes_system::pbes_rewriter_type	rewriter_type () const
	Returns the rewriter type.

Protected Member Functions
virtual std::set< pbes_system::pbes_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 pbes_system::pbes_rewriter_type	default_rewriter () const
	Returns the default pbes rewriter. Override this method to change the standard behavior.
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
pbes_system::pbes_rewriter_type	m_pbes_rewriter_type
	The type of the pbes rewriter.

Detailed Description

template<typename Tool>
class mcrl2::pbes_system::tools::pbes_rewriter_tool< Tool >

Base class for filter tools that use a pbes rewriter.

Definition at line 24 of file pbes_rewriter_tool.h.

Constructor & Destructor Documentation

pbes_rewriter_tool()

template<typename Tool >

mcrl2::pbes_system::tools::pbes_rewriter_tool< Tool >::pbes_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 99 of file pbes_rewriter_tool.h.

~pbes_rewriter_tool()

template<typename Tool >

mcrl2::pbes_system::tools::pbes_rewriter_tool< Tool >::~pbes_rewriter_tool ( )

overridedefault

Destructor.

Member Function Documentation

add_options()

template<typename Tool >

void mcrl2::pbes_system::tools::pbes_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 62 of file pbes_rewriter_tool.h.

available_rewriters()

template<typename Tool >

virtual std::set< pbes_system::pbes_rewriter_type > mcrl2::pbes_system::tools::pbes_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 33 of file pbes_rewriter_tool.h.

default_rewriter()

template<typename Tool >

virtual pbes_system::pbes_rewriter_type mcrl2::pbes_system::tools::pbes_rewriter_tool< Tool >::default_rewriter ( ) const

inlineprotectedvirtual

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

Returns

The string "simplify"

Definition at line 54 of file pbes_rewriter_tool.h.

parse_options()

template<typename Tool >

void mcrl2::pbes_system::tools::pbes_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 85 of file pbes_rewriter_tool.h.

rewriter_type()

template<typename Tool >

pbes_system::pbes_rewriter_type mcrl2::pbes_system::tools::pbes_rewriter_tool< Tool >::rewriter_type ( ) const

inline

Returns the rewriter type.

Returns

The rewriter type

Definition at line 113 of file pbes_rewriter_tool.h.

Member Data Documentation

m_pbes_rewriter_type

template<typename Tool >

pbes_system::pbes_rewriter_type mcrl2::pbes_system::tools::pbes_rewriter_tool< Tool >::m_pbes_rewriter_type

protected

The type of the pbes rewriter.

Definition at line 28 of file pbes_rewriter_tool.h.

---

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

• pbes/include/mcrl2/pbes/pbes_rewriter_tool.h