.. _remove_level.h:
  
mcrl2/bes/remove_level.h
===============================================================================

Include file: 

.. code-block:: c++ 

   #include "mcrl2/bes/remove_level.h"

BES variable remove level when generating a BES from a PBES. 



Enumerated types
-------------------------------------------------------------------------------

.. cpp:type:: mcrl2::bes::remove_level

  **Values:**

    * **none** 

  * **some** 

  * **all** 


  
  BES variable remove level when generating a BES from a PBES. 

  

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

.. cpp:function:: std::string mcrl2::bes::description(const remove_level s)
  
  

  

.. cpp:function:: std::ostream& mcrl2::bes::operator<<(std::ostream &os, const remove_level s)
  
  

  

.. cpp:function:: std::istream& mcrl2::bes::operator>>(std::istream &is, remove_level &level)
  
  

  

.. cpp:function:: remove_level mcrl2::bes::parse_remove_level(const std::string &s)
  
  

  

.. cpp:function:: std::string mcrl2::bes::print_remove_level(const remove_level s)