mCRL2
Loading...
Searching...
No Matches
lts_equivalence.h File Reference

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

Go to the source code of this file.

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_equivalence {
  mcrl2::lts::lts_eq_none , mcrl2::lts::lts_eq_bisim , mcrl2::lts::lts_eq_bisim_gv , mcrl2::lts::lts_eq_bisim_gjkw ,
  mcrl2::lts::lts_eq_bisim_sigref , mcrl2::lts::lts_eq_branching_bisim , mcrl2::lts::lts_eq_branching_bisim_gv , mcrl2::lts::lts_eq_branching_bisim_gjkw ,
  mcrl2::lts::lts_eq_branching_bisim_sigref , mcrl2::lts::lts_eq_divergence_preserving_branching_bisim , mcrl2::lts::lts_eq_divergence_preserving_branching_bisim_gv , mcrl2::lts::lts_eq_divergence_preserving_branching_bisim_gjkw ,
  mcrl2::lts::lts_eq_divergence_preserving_branching_bisim_sigref , mcrl2::lts::lts_eq_weak_bisim , mcrl2::lts::lts_eq_divergence_preserving_weak_bisim , mcrl2::lts::lts_eq_sim ,
  mcrl2::lts::lts_eq_ready_sim , mcrl2::lts::lts_eq_trace , mcrl2::lts::lts_eq_weak_trace , mcrl2::lts::lts_eq_coupled_sim ,
  mcrl2::lts::lts_red_tau_star , mcrl2::lts::lts_red_determinisation
}
 LTS equivalence relations. More...
 

Functions

lts_equivalence mcrl2::lts::parse_equivalence (std::string const &s)
 Determines the equivalence from a string.
 
std::istream & mcrl2::lts::operator>> (std::istream &is, lts_equivalence &eq)
 
std::string mcrl2::lts::print_equivalence (const lts_equivalence eq)
 Gives the short name of an equivalence.
 
std::ostream & mcrl2::lts::operator<< (std::ostream &os, const lts_equivalence eq)
 
std::string mcrl2::lts::description (const lts_equivalence eq)
 Gives a description of an equivalence.
 

Detailed Description

Type recording the equivalence reductions supported by the LTS library.

Author
Jan Friso Groote, Bas Ploeger, Muck van Weerdenburg, Jeroen Keiren

Definition in file lts_equivalence.h.