mcrl2::lps::linear_process_base

Include file:

#include "mcrl2/lps/linear_process.h
class mcrl2::lps::linear_process_base

Public types

type action_summand_type

typedef for ActionSummand

The action summand type.

Protected attributes

std::vector<ActionSummand> m_action_summands

The action summands of the process.

deadlock_summand_vector m_deadlock_summands

The deadlock summands of the process.

data::variable_list m_process_parameters

The process parameters of the process.

Public member functions

const std::vector<ActionSummand> &action_summands() const

Returns the sequence of action summands.

Returns: The sequence of action summands.

std::vector<ActionSummand> &action_summands()

Returns the sequence of action summands.

Returns: The sequence of action summands.

const deadlock_summand_vector &deadlock_summands() const

Returns the sequence of deadlock summands.

Returns: The sequence of deadlock summands.

deadlock_summand_vector &deadlock_summands()

Returns the sequence of deadlock summands.

Returns: The sequence of deadlock summands.

bool has_time() const

Returns true if time is available in at least one of the summands.

Returns: True if time is available in at least one of the summands.

linear_process_base() = default

Constructor.

linear_process_base(const linear_process_base<ActionSummand> &other)

Copy constructor.

linear_process_base(const data::variable_list &process_parameters, const deadlock_summand_vector &deadlock_summands, const std::vector<ActionSummand> &action_summands)

Constructor.

linear_process_base(const atermpp::aterm_appl &lps, bool stochastic_distributions_allowed = true)

Constructor.

Parameters:

  • lps A term.
  • stochastic_distributions_allowed True when stochastic processes are allowed
const data::variable_list &process_parameters() const

Returns the sequence of process parameters.

Returns: The sequence of process parameters.

data::variable_list &process_parameters()

Returns the sequence of process parameters.

Returns: The sequence of process parameters.

std::size_t summand_count() const

Returns the number of LPS summands.

Returns: The number of LPS summands.