.. _bisimulation_type.h:
  
mcrl2/pbes/bisimulation_type.h
===============================================================================

Include file: 

.. code-block:: c++ 

   #include "mcrl2/pbes/bisimulation_type.h"

add your file description here. 



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

.. cpp:type:: mcrl2::pbes_system::bisimulation_type

  **Values:**

    * **strong_bisim** 

  * **weak_bisim** 

  * **branching_bisim** 

  * **branching_sim** 


  
  An enumerated type for the available bisimulation types. 

  

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

.. cpp:function:: std::string mcrl2::pbes_system::description(const bisimulation_type t)
  
  Returns a description of a bisimulation type. 

  

.. cpp:function:: std::ostream& mcrl2::pbes_system::operator<<(std::ostream &os, const bisimulation_type t)
  
  

  

.. cpp:function:: std::istream& mcrl2::pbes_system::operator>>(std::istream &is, bisimulation_type &t)
  
  

  

.. cpp:function:: bisimulation_type mcrl2::pbes_system::parse_bisimulation_type(const std::string &type)
  
  Returns the string corresponding to a bisimulation type. 

  

.. cpp:function:: std::string mcrl2::pbes_system::print_bisimulation_type(const bisimulation_type t)
  
  Returns a description of a bisimulation type.