.. _small_progress_measures.h:
  
mcrl2/bes/small_progress_measures.h
===============================================================================

Include file: 

.. code-block:: c++ 

   #include "mcrl2/bes/small_progress_measures.h"

add your file description here. 




Classes
-------

* :cpp:class:`mcrl2::bes::compare_progress_measures_vertex`

* :cpp:class:`mcrl2::bes::progress_measure`

* :cpp:class:`mcrl2::bes::progress_measures_vertex`

* :cpp:class:`mcrl2::bes::small_progress_measures_algorithm`

Functions
-------------------------------------------------------------------------------

.. cpp:function:: void mcrl2::bes::inc(std::vector< int > &alpha, int m, const std::vector< int > &beta)
  
  

  

.. cpp:function:: bool mcrl2::bes::is_disjunctive(const boolean_expression &x)
  
  

  

.. cpp:function:: bool mcrl2::bes::is_even(T t)
  
  

  

.. cpp:function:: bool mcrl2::bes::is_odd(T t)
  
  

  

.. cpp:function:: int mcrl2::bes::lexicographical_compare_3way(InputIterator1 first1, InputIterator1 last1, InputIterator2 first2, InputIterator2 last2)
  
  

  

.. cpp:function:: int mcrl2::bes::maximum_rank(const boolean_equation_system &b)
  
  

  

.. cpp:function:: std::ostream& mcrl2::bes::operator<<(std::ostream &out, const progress_measure &pm)
  
  

  

.. cpp:function:: std::ostream& mcrl2::bes::operator<<(std::ostream &out, const progress_measures_vertex &v)
  
  

  

.. cpp:function:: bool mcrl2::bes::small_progress_measures(boolean_equation_system &b)