transition.h File Reference

Go to the source code of this file.

Classes
class	mcrl2::lts::detail::compare_transitions_slt
class	mcrl2::lts::detail::compare_transitions_lts
class	mcrl2::lts::detail::compare_transitions_tls
class	mcrl2::lts::detail::compare_transitions_tsl
class	mcrl2::lts::detail::compare_transitions_tl
class	mcrl2::lts::detail::compare_transitions_target

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.
namespace	mcrl2::lts::detail
	A base class for the lts_dot labelled transition system.

Functions
std::size_t	mcrl2::lts::detail::apply_hidden_labels (const std::size_t n, const std::set< std::size_t > &hidden_action_set)