lpsparunfoldlib.cpp File Reference

This file contains the code for the tool lpsparunfold that allows to replace complex data types by simpler ones. 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::lps
	The main namespace for the LPS library.
namespace	mcrl2::lps::detail

Detailed Description

This file contains the code for the tool lpsparunfold that allows to replace complex data types by simpler ones.

Definition in file lpsparunfoldlib.cpp.