mcrl2::bes::tools::pbes_output_tool

Include file:

#include "mcrl2/bes/pbes_output_tool.h
class mcrl2::bes::tools::pbes_output_tool

Base class for filter tools that produce a pbes as output.

Tool provides output_filename()

Protected attributes

utilities::file_format mcrl2::bes::tools::pbes_output_tool::m_pbes_output_format

The type of the pbes output format.

Protected member functions

void add_options(utilities::interface_description &desc)

Add options to an interface description. Also includes output format options.

Parameters:

  • desc An interface description
virtual std::set<utilities::file_format> available_output_formats() const

Returns the file formats that are available for this tool. Override this method to change the standard behavior.

Returns: The set { pbes, text }

virtual utilities::file_format default_output_format() const

Returns the default file format. Override this method to change the standard behavior.

Returns: The default format is determined based on the extension of the output file.

void parse_options(const utilities::command_line_parser &parser)

Parse non-standard options.

Parameters:

  • parser A command line parser

Public member functions

utilities::file_format pbes_output_format() const

Returns the output format.

Returns: The output format

pbes_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
virtual ~pbes_output_tool() = default

Destructor.