mcrl2::lps::linear_process_base

Include file:

#include "mcrl2/lps/linear_process.h

class mcrl2::lps::linear_process_base

Public types

type mcrl2::lps::linear_process_base::action_summand_type

typedef for ActionSummand

The action summand type.

Protected attributes

std::vector<ActionSummand> mcrl2::lps::linear_process_base::m_action_summands

The action summands of the process.

deadlock_summand_vector mcrl2::lps::linear_process_base::m_deadlock_summands

The deadlock summands of the process.

data::variable_list mcrl2::lps::linear_process_base::m_process_parameters

The process parameters of the process.

Public member functions

std::vector<ActionSummand> &action_summands()

Returns the sequence of action summands.

Returns: The sequence of action summands.

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

Returns the sequence of action summands.

Returns: The sequence of action summands.

deadlock_summand_vector &deadlock_summands()

Returns the sequence of deadlock summands.

Returns: The sequence of deadlock summands.

const deadlock_summand_vector &deadlock_summands() const

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 atermpp::aterm_appl &lps, bool stochastic_distributions_allowed = true)

Constructor.

Parameters:

• lps A term.
• stochastic_distributions_allowed True when stochastic processes are allowed

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

Constructor.

data::variable_list &process_parameters()

Returns the sequence of process parameters.

Returns: The sequence of process parameters.

const data::variable_list &process_parameters() const

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.