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.

Macros
#define	BRANCH_BIS_EXPERIMENT_JFG
#define	MCRL2_LTS_LTS_EQUIVALENCE_H

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

Macro Definition Documentation

BRANCH_BIS_EXPERIMENT_JFG

#define BRANCH_BIS_EXPERIMENT_JFG

Definition at line 16 of file lts_equivalence.h.

MCRL2_LTS_LTS_EQUIVALENCE_H

#define MCRL2_LTS_LTS_EQUIVALENCE_H

Definition at line 19 of file lts_equivalence.h.