pressolve_tool Class Reference

#include <pressolve.h>

Inheritance diagram for pressolve_tool:

Public Member Functions
	pressolve_tool (const std::string &toolname)
bool	run () override
Public Member Functions inherited from mcrl2::data::tools::rewriter_tool< pres_input_tool< input_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="")
	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 Types
typedef rewriter_tool< pres_input_tool< input_tool > >	super

Protected Member Functions
void	add_options (utilities::interface_description &desc) override
void	parse_options (const utilities::command_line_parser &parser) override
std::set< utilities::file_format >	available_input_formats () const override
data::rewriter	construct_rewriter (const pres &presspec)
Protected Member Functions inherited from mcrl2::data::tools::rewriter_tool< pres_input_tool< input_tool > >
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)
	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
pressolve_options	options
std::string	lpsfile
Protected Attributes inherited from mcrl2::data::tools::rewriter_tool< pres_input_tool< input_tool > >
data::rewrite_strategy	m_rewrite_strategy
	The data rewriter strategy.

Detailed Description

Definition at line 47 of file pressolve.h.

Member Typedef Documentation

super

typedef rewriter_tool<pres_input_tool<input_tool> > pressolve_tool::super

protected

Definition at line 51 of file pressolve.h.

Constructor & Destructor Documentation

pressolve_tool()

pressolve_tool::pressolve_tool ( const std::string &  toolname )

inline

Definition at line 142 of file pressolve.h.

Member Function Documentation

add_options()

void pressolve_tool::add_options ( utilities::interface_description &  desc )

inlineoverrideprotected

Definition at line 56 of file pressolve.h.

available_input_formats()

std::set< utilities::file_format > pressolve_tool::available_input_formats ( ) const

inlineoverrideprotected

Definition at line 119 of file pressolve.h.

construct_rewriter()

data::rewriter pressolve_tool::construct_rewriter ( const pres &  presspec )

inlineprotected

Definition at line 124 of file pressolve.h.

parse_options()

void pressolve_tool::parse_options ( const utilities::command_line_parser &  parser )

inlineoverrideprotected

Definition at line 73 of file pressolve.h.

run()

bool pressolve_tool::run ( )

inlineoverride

Definition at line 155 of file pressolve.h.

Member Data Documentation

lpsfile

std::string pressolve_tool::lpsfile

protected

Definition at line 54 of file pressolve.h.

options

pressolve_options pressolve_tool::options

protected

Definition at line 53 of file pressolve.h.

---

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

• pres/include/mcrl2/pres/tools/pressolve.h