mcrl2::data::tools::prover_tool
===============================================================================


Include file:

.. code-block:: c++

   #include "mcrl2/data/prover_tool.h

.. cpp:class:: mcrl2::data::tools::prover_tool

  Base class for tools that use a rewriter. 

  

Protected types
-------------------------------------------------------------------------------

.. cpp:type:: mcrl2::data::tools::prover_tool::smt_solver_type

  typedef for :cpp:type:`mcrl2::data::detail::smt_solver_type`
  
  

  

Protected attributes
-------------------------------------------------------------------------------

.. cpp:member:: smt_solver_type mcrl2::data::tools::prover_tool::m_solver_type
  
  The data rewriter strategy. 

  

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

.. cpp:function:: void add_options(utilities::interface_description &desc)
  
  Add options to an interface description. Also includes rewriter options. 

  
  
  **Parameters:**

  * **desc** An interface description 



.. cpp:function:: void parse_options(const utilities::command_line_parser &parser)
  
  Parse non-standard options. 

  
  
  **Parameters:**

  * **parser** A command line parser 



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

.. cpp:function:: prover_tool(const std::string &name, const std::string &author, const std::string &what_is, const std::string &tool_description, std::string known_issues="")
  
  Constructor. 

  

.. cpp:function:: smt_solver_type solver_type() const
  
  Returns the rewrite strategy. 

  
      
  **Returns:** The rewrite strategy