.. _gauss_elimination.h:
  
mcrl2/bes/gauss_elimination.h
===============================================================================

Include file: 

.. code-block:: c++ 

   #include "mcrl2/bes/gauss_elimination.h"

add your file description here. 




Classes
-------

* :cpp:class:`mcrl2::bes::bes_traits`

* :cpp:class:`mcrl2::bes::boolean_equation_solver`

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

.. cpp:function:: bool mcrl2::bes::gauss_elimination(boolean_equation_system &p)
  
  Solves a boolean equation system using Gauss elimination. 

  
  
  **Parameters:**

  * **p** A bes 


      
  **Returns:** The solution of the system 

.. cpp:function:: boolean_equation_solver<Rewriter> mcrl2::bes::make_boolean_equation_solver(const Rewriter &rewriter)
  
  Utility function for creating a boolean_equation_solver.