The class linear_process. More...

Classes
class	mcrl2::lps::linear_process_base< ActionSummand >

class	mcrl2::lps::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<typename Summand >
Summand	mcrl2::lps::detail::make_action_summand (const data::variable_list &, const data::data_expression &, const multi_action &, const data::assignment_list &, const stochastic_distribution &)

template<>
action_summand	mcrl2::lps::detail::make_action_summand< 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)

bool	mcrl2::lps::check_well_typedness (const linear_process &x)

bool	mcrl2::lps::check_well_typedness (const stochastic_linear_process &x)

template<typename ActionSummand >
atermpp::aterm	mcrl2::lps::linear_process_to_aterm (const linear_process_base< ActionSummand > &p)
	Conversion to aterm.

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

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

bool	mcrl2::lps::is_linear_process (const atermpp::aterm &x)
	Test for a linear_process expression.

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

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

std::set< process::action_label >	mcrl2::lps::find_action_labels (const lps::linear_process &x)

Detailed Description

The class linear_process.

Definition in file linear_process.h.

Classes