mcrl2::bes::tools::bes_input_tool
===============================================================================


Include file:

.. code-block:: c++

   #include "mcrl2/bes/pbes_input_tool.h

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

.. cpp:function:: utilities::file_format bes_input_format() const
  
  Returns the input format. 

  
      
  **Returns:** The input format 

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

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

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