mcrl2::bes::tools::bes_output_tool
===============================================================================


Include file:

.. code-block:: c++

   #include "mcrl2/bes/pbes_output_tool.h

.. cpp:class:: mcrl2::bes::tools::bes_output_tool

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

  Tool provides output_filename() 

Public member functions
-------------------------------------------------------------------------------

.. cpp:function:: utilities::file_format bes_output_format() const
  
  Returns the output format. 

  
      
  **Returns:** The output file format 

.. cpp:function:: bes_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 



Protected member functions
-------------------------------------------------------------------------------

.. cpp:function:: 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, bes, pgsolver } 

.. cpp:function:: 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.