sigref.h File Reference

Implementation of LTS reductions using the signature refinement approach of S. Blom and S. Orzan. More...

Go to the source code of this file.

Classes
class	mcrl2::lts::signature< LTS_T >
	Base class for signature computation. More...
class	mcrl2::lts::signature_bisim< LTS_T >
	Class for computing the signature for strong bisimulation. More...
class	mcrl2::lts::signature_branching_bisim< LTS_T >
	Class for computing the signature for branching bisimulation. More...
class	mcrl2::lts::signature_divergence_preserving_branching_bisim< LTS_T >
	Class for computing the signature for divergence preserving branching bisimulation. More...
class	mcrl2::lts::sigref< LTS_T, Signature >
	Signature based reductions for labelled transition systems. 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.

Typedefs
typedef std::set< std::pair< std::size_t, std::size_t > >	mcrl2::lts::signature_t
	A signature is a pair of an action label and a block.

Detailed Description

Implementation of LTS reductions using the signature refinement approach of S. Blom and S. Orzan.

Author

Jeroen Keiren

Definition in file sigref.h.