add your file description here. More...

Classes
struct	mcrl2::lps::detail::make_timed_lps_summand< IdentifierGenerator >
	Adds a time parameter t to s if needed and returns the result. The time t is chosen such that it doesn't appear in context. 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.

namespace	mcrl2::lps::detail

Functions
template<class LINEAR_PROCESS >
void	mcrl2::lps::detail::make_timed_lps (LINEAR_PROCESS &lps, const std::set< core::identifier_string > &context, typename std::enable_if< std::is_same< LINEAR_PROCESS, linear_process >::value\|\|std::is_same< LINEAR_PROCESS, stochastic_linear_process >::value >::type *=nullptr)
	Adds time parameters to the lps if needed and returns the result. The times are chosen such that they don't appear in context.

Detailed Description

add your file description here.

Definition in file make_timed_lps.h.

Classes