state_label_empty.h File Reference

This file contains the class with empty state labels. More...

Go to the source code of this file.

Classes
class	mcrl2::lts::state_label_empty
	Contains empty state values, used for lts's without state valued. 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.

Functions
std::string	mcrl2::lts::pp (const state_label_empty &)

Detailed Description

This file contains the class with empty state labels.

Author

Jan Friso Groote

Definition in file state_label_empty.h.