add your file description here. More...

Classes
class	mcrl2::lps::stochastic_linear_process
	linear process. 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<>
stochastic_action_summand	mcrl2::lps::detail::make_action_summand< stochastic_action_summand > (const data::variable_list &summation_variables, const data::data_expression &condition, const multi_action &a, const data::assignment_list &assignments, const stochastic_distribution &distribution)

stochastic_action_summand_vector	mcrl2::lps::detail::convert_action_summands (const action_summand_vector &action_summands)

std::string	mcrl2::lps::pp (const stochastic_linear_process &x)

std::ostream &	mcrl2::lps::operator<< (std::ostream &out, const stochastic_linear_process &x)

std::set< data::variable >	mcrl2::lps::find_all_variables (const lps::stochastic_linear_process &x)

std::set< data::variable >	mcrl2::lps::find_free_variables (const lps::stochastic_linear_process &x)

Detailed Description

add your file description here.

Classes