pbessolve_tool
===============================================================================


Include file:

.. code-block:: c++

   #include "mcrl2/pbes/tools/pbessolve.h

.. cpp:class:: pbessolve_tool

  

  

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

.. cpp:type:: pbessolve_tool::super

  typedef for :cpp:type:`rewriter_tool\< pbes_input_tool\< input_tool > >`
  
  

  

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

.. cpp:member:: std::string pbessolve_tool::evidence_file
  
  

  

.. cpp:member:: std::string pbessolve_tool::lpsfile
  
  

  

.. cpp:member:: std::string pbessolve_tool::ltsfile
  
  

  

.. cpp:member:: pbessolve_options pbessolve_tool::options
  
  

  

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

.. cpp:function:: void add_options(utilities::interface_description &desc) override
  
  

  

.. cpp:function:: std::set<utilities::file_format> available_input_formats() const override
  
  

  

.. cpp:function:: void parse_options(const utilities::command_line_parser &parser) override
  
  

  

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

.. cpp:function:: pbessolve_tool(const std::string &toolname)
  
  

  

.. cpp:function:: bool run() override
  
  

  

.. cpp:function:: void run_algorithm(PbesInstAlgorithm &algorithm, pbes_system::pbes &pbesspec, structure_graph &G, const data::mutable_map_substitution<> &sigma)