linearise.h File Reference

Linearisation of process specifications. More...

Go to the source code of this file.

Classes
struct	mcrl2::lps::t_lin_options
	Options for linearisation. More...

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.

Functions
mcrl2::lps::stochastic_specification	mcrl2::lps::linearise (const mcrl2::process::process_specification &type_checked_spec, mcrl2::lps::t_lin_options lin_options=t_lin_options())
	Linearises a process specification.
mcrl2::lps::stochastic_specification	mcrl2::lps::linearise (const std::string &text, mcrl2::lps::t_lin_options lin_options=t_lin_options())
	Linearises a process specification from a textual specification.

Detailed Description

Linearisation of process specifications.

Definition in file linearise.h.