mcrl2::bes::tools::bes_input_tool

Include file:

#include "mcrl2/bes/pbes_input_tool.h
class mcrl2::bes::tools::bes_input_tool

Base class for filter tools that take a bes as input.

Tool provides input_filename()

Public member functions

utilities::file_format bes_input_format() const

Returns the input format.

Returns: The input format

bes_input_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

Protected member functions

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

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

Returns: The set { pbes, bes, pgsolver }

virtual utilities::file_format default_input_format() const

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

Returns: The preferred input format based on the extension of the input file, or bes_format_internal()