Include file:
#include "mcrl2/bes/pbes_input_output_tool.h
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()
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