mcrl2::bes::tools::pbes_input_output_tool

Include file:

#include "mcrl2/bes/pbes_input_output_tool.h

class mcrl2::bes::tools::pbes_input_output_tool

Base class for filter tools that take a pbes as input and.

Tool provides input_filename() and output_filename()

Public member functions

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

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