mcrl2::bes::small_progress_measures_algorithm
===============================================================================


Include file:

.. code-block:: c++

   #include "mcrl2/bes/small_progress_measures.h

.. cpp:class:: mcrl2::bes::small_progress_measures_algorithm

  Algorithm class for the small progress measures algorithm. 

  

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

.. cpp:type:: mcrl2::bes::small_progress_measures_algorithm::vertex

  typedef for :cpp:type:`progress_measures_vertex`
  
  

  

.. cpp:type:: mcrl2::bes::small_progress_measures_algorithm::vertex_map

  typedef for :cpp:type:`std::map\< boolean_variable, vertex >`
  
  

  

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

.. cpp:member:: const boolean_equation_system & mcrl2::bes::small_progress_measures_algorithm::m_bes
  
  

  

.. cpp:member:: std::vector< int > mcrl2::bes::small_progress_measures_algorithm::m_beta
  
  

  

.. cpp:member:: int mcrl2::bes::small_progress_measures_algorithm::m_d
  
  

  

.. cpp:member:: vertex_map mcrl2::bes::small_progress_measures_algorithm::m_vertices
  
  

  

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

.. cpp:function:: void initialize_vertices()
  
  

  

.. cpp:function:: std::string print_neighbors(const progress_measures_vertex &v) const
  
  Logs the neighbors of a vertex. 

  

.. cpp:function:: std::string print_vertex(const vertex &v) const
  
  

  

.. cpp:function:: std::string print_vertices() const
  
  

  

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

.. cpp:function:: bool run(const boolean_variable &first_variable)
  
  

  

.. cpp:function:: small_progress_measures_algorithm(const boolean_equation_system &b)