mcrl2::lps::tools::lps_rewriter_tool
===============================================================================


Include file:

.. code-block:: c++

   #include "mcrl2/lps/lps_rewriter_tool.h

.. cpp:class:: mcrl2::lps::tools::lps_rewriter_tool

  Base class for filter tools that use a lps rewriter. 

  

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

.. cpp:member:: lps::lps_rewriter_type mcrl2::lps::tools::lps_rewriter_tool::m_lps_rewriter_type
  
  The type of the lps rewriter. 

  

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:: virtual std::set<lps::lps_rewriter_type> available_rewriters() const
  
  Returns the types of rewriters that are available for this tool. Override this method to change the standard behavior. 

  
      
  **Returns:** The set { simplify, quantifier_all, quantifier_finite } 

.. cpp:function:: virtual lps::lps_rewriter_type default_rewriter() const
  
  Returns the default lps rewriter. Override this method to change the standard behavior. 

  
      
  **Returns:** The string "simplify" 

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



.. cpp:function:: lps::lps_rewriter_type rewriter_type() const
  
  Returns the rewriter type. 

  
      
  **Returns:** The rewriter type 

.. cpp:function:: virtual ~lps_rewriter_tool()=default
  
  Destructor.