probabilistic_lts.h File Reference

The file containing the core class for transition systems. More...

Go to the source code of this file.

Classes
class	mcrl2::lts::probabilistic_lts< STATE_LABEL_T, ACTION_LABEL_T, PROBABILISTIC_STATE_T, LTS_BASE >
	A class that contains a labelled transition system. 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.

Detailed Description

The file containing the core class for transition systems.

This is the LTS library's main header file. It declares all publicly accessible data structures that form the interface of the library.

Author

Muck van Weerdenburg, Jan Friso Groote

This is the LTS library's main header file. It declares all publicly accessible data structures that form the interface of the library.

Author

Jan Friso Groote

Definition in file probabilistic_lts.h.