Type recording the probabilistic equivalence reductions supported by the LTS library. More...

Namespaces
namespace	mcrl2
	A class that takes a linear process specification and checks all tau-summands of that LPS for confluence.

namespace	mcrl2::lts
	The main LTS namespace.

Enumerations
enum	mcrl2::lts::lts_probabilistic_equivalence { mcrl2::lts::lts_probabilistic_eq_none , mcrl2::lts::lts_probabilistic_bisim_bem , mcrl2::lts::lts_probabilistic_bisim_grv }
	LTS equivalence relations. More...

enum	mcrl2::lts::lts_probabilistic_preorder { mcrl2::lts::lts_probabilistic_pre_none }
	LTS preorder relations. More...

Functions
lts_probabilistic_equivalence	mcrl2::lts::parse_probabilistic_equivalence (const std::string &s)
	Determines the equivalence from a string.

std::istream &	mcrl2::lts::operator>> (std::istream &is, lts_probabilistic_equivalence &eq)

std::string	mcrl2::lts::print_probabilistic_equivalence (const lts_probabilistic_equivalence &eq)
	Gives the short name of an equivalence.

std::ostream &	mcrl2::lts::operator<< (std::ostream &os, const lts_probabilistic_equivalence &eq)

std::string	mcrl2::lts::description (const lts_probabilistic_equivalence &eq)
	Gives a description of an equivalence.

lts_probabilistic_preorder	mcrl2::lts::parse_probabilistic_preorder (std::string const &s)
	Determines the probabilistic preorder from a string.

std::istream &	mcrl2::lts::operator>> (std::istream &is, lts_probabilistic_preorder &eq)

std::string	mcrl2::lts::print_probabilistic_preorder (const lts_probabilistic_preorder &pre)
	Gives the short name of an preorder.

std::ostream &	mcrl2::lts::operator<< (std::ostream &os, const lts_probabilistic_preorder &pre)

std::string	mcrl2::lts::description (const lts_probabilistic_preorder &pre)
	Gives a description of an preorder.

Detailed Description

Type recording the probabilistic equivalence reductions supported by the LTS library.

Namespaces