mcrl2/pbes/bisimulation_type.h

Include file:

#include "mcrl2/pbes/bisimulation_type.h"

add your file description here.

Enumerated types

type mcrl2::pbes_system::bisimulation_type

Values:

  • strong_bisim

  • weak_bisim

  • branching_bisim

  • branching_sim

An enumerated type for the available bisimulation types.

Functions

std::string mcrl2::pbes_system::description(const bisimulation_type t)

Returns a description of a bisimulation type.

std::ostream &mcrl2::pbes_system::operator<<(std::ostream &os, const bisimulation_type t)
std::istream &mcrl2::pbes_system::operator>>(std::istream &is, bisimulation_type &t)
bisimulation_type mcrl2::pbes_system::parse_bisimulation_type(const std::string &type)

Returns the string corresponding to a bisimulation type.

std::string mcrl2::pbes_system::print_bisimulation_type(const bisimulation_type t)

Returns a description of a bisimulation type.