bisimulation_type.h File Reference

add your file description here. More...

Go to the source code of this file.

Namespaces
namespace	mcrl2
namespace	mcrl2::pbes_system
	The main namespace for the PBES library.

Enumerations
enum	mcrl2::pbes_system::bisimulation_type { mcrl2::pbes_system::strong_bisim , mcrl2::pbes_system::weak_bisim , mcrl2::pbes_system::branching_bisim , mcrl2::pbes_system::branching_sim }
	An enumerated type for the available bisimulation types. More...

Functions
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.
std::string	mcrl2::pbes_system::description (const bisimulation_type t)
	Returns a description of a bisimulation type.
std::istream &	mcrl2::pbes_system::operator>> (std::istream &is, bisimulation_type &t)
std::ostream &	mcrl2::pbes_system::operator<< (std::ostream &os, const bisimulation_type t)

Detailed Description

add your file description here.

Definition in file bisimulation_type.h.