mcrl2/lps/linear_process.h

Include file:

#include "mcrl2/lps/linear_process.h"

The class linear_process.

Functions

bool check_well_typedness(const linear_process &x)
bool check_well_typedness(const stochastic_linear_process &x)
std::set<process::action_label> find_action_labels(const lps::linear_process &x)
std::set<data::variable> find_all_variables(const lps::stochastic_linear_process &x)
std::set<data::variable> find_all_variables(const lps::linear_process &x)
std::set<data::variable> find_free_variables(const lps::stochastic_linear_process &x)
std::set<data::variable> find_free_variables(const lps::linear_process &x)
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 stochastic_linear_process &x)

Outputs the object to a stream.

Parameters:

  • out An output stream
  • x Object x

Returns: The output stream

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

Outputs the object to a stream.

Parameters:

  • out An output stream
  • x Object x

Returns: The output stream

std::string pp(const stochastic_linear_process &x)
std::string pp(const linear_process &x)

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&)
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)
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)