mcrl2::bes::local_fixpoints_algorithm
===============================================================================


Include file:

.. code-block:: c++

   #include "mcrl2/bes/local_fixpoints.h

.. cpp:class:: mcrl2::bes::local_fixpoints_algorithm

  Algorithm class. 

  

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

.. cpp:member:: std::map< boolean_variable, std::size_t > mcrl2::bes::local_fixpoints_algorithm::indices
  
  

  

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

  

.. cpp:member:: std::size_t mcrl2::bes::local_fixpoints_algorithm::max_rank
  
  

  

.. cpp:member:: std::vector< std::size_t > mcrl2::bes::local_fixpoints_algorithm::ranks
  
  

  

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

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

  

.. cpp:function:: bool run(std::vector< bool > *full_solution)
  
  

  

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

.. cpp:function:: void add_to_occurrence_set(std::size_t i, const boolean_expression &expr, vector< set< std::size_t > > &occurrence_set)
  
  

  

.. cpp:function:: vector< set < std::size_t> > create_occurrence_set(const std::vector< boolean_equation > &eqs, const std::size_t current_rank)
  
  

  

.. cpp:function:: boolean_expression evaluate(boolean_expression expr, std::size_t r, const std::vector< boolean_expression > &approx)