lts_type.h File Reference

The file containing the types of labelled transition systems. 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_type {   mcrl2::lts::lts_none , mcrl2::lts::lts_lts , mcrl2::lts::lts_aut , mcrl2::lts::lts_fsm ,   mcrl2::lts::lts_dot , mcrl2::lts::lts_lts_probabilistic , mcrl2::lts::lts_aut_probabilistic , mcrl2::lts::lts_fsm_probabilistic ,   mcrl2::lts::lts_type_min =lts_none , mcrl2::lts::lts_type_max =lts_dot }
	The enumerated type lts_type contains an index for every type type of labelled transition system that is supported by the system. More...

Detailed Description

The file containing the types of labelled transition systems.

Author

Muck van Weerdenburg, Jan Friso Groote

Definition in file lts_type.h.