untime.h File Reference

Removes time from a linear process. More...

Go to the source code of this file.

Classes
class	mcrl2::lps::untime_algorithm< Specification >

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

Functions
template<class INITIALIZER >
INITIALIZER	mcrl2::lps::detail::make_process_initializer (const data::data_expression_list &expressions, const INITIALIZER &init)
template<>
process_initializer	mcrl2::lps::detail::make_process_initializer (const data::data_expression_list &expressions, const process_initializer &)
template<>
stochastic_process_initializer	mcrl2::lps::detail::make_process_initializer (const data::data_expression_list &expressions, const stochastic_process_initializer &init)

Detailed Description

Removes time from a linear process.

Definition in file untime.h.