mcrl2/lps/linear_process.h

Include file:

#include "mcrl2/lps/linear_process.h"

The class linear_process.

Classes

• mcrl2::lps::linear_process
• mcrl2::lps::linear_process_base

Functions

bool mcrl2::lps::is_linear_process(const atermpp::aterm_appl &x)

Test for a linear_process expression.

Parameters:

• x A term

Returns: True if x is a linear process expression

atermpp::aterm_appl mcrl2::lps::linear_process_to_aterm(const linear_process_base<ActionSummand> &p)

Conversion to aterm_appl.

Returns: The action summand converted to aterm format.

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

brief Outputs the object to a stream param out An output stream param x Object x return The output stream

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

brief Outputs the object to a stream param out An output stream param x Object x return The output stream

Functions

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

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)

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)