No Matches
lts_probabilistic_equivalence.h File Reference

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

Go to the source code of this file.


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.


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...


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.

Hector Joao Rivera Verduzco

Definition in file lts_probabilistic_equivalence.h.