mcrl2::lps::stochastic_linear_process Class Reference

linear process. More...

#include <stochastic_linear_process.h>

Inheritance diagram for mcrl2::lps::stochastic_linear_process:

Public Member Functions
	stochastic_linear_process ()=default
	Constructor.
	stochastic_linear_process (const atermpp::aterm &t, bool stochastic_distributions_allowed=true)
	Constructor.
	stochastic_linear_process (const data::variable_list &process_parameters, const deadlock_summand_vector &deadlock_summands, const stochastic_action_summand_vector &action_summands)
	Constructor.
	stochastic_linear_process (const linear_process &other)
	Constructor.
Public Member Functions inherited from mcrl2::lps::linear_process_base< stochastic_action_summand >
	linear_process_base ()=default
	Constructor.
	linear_process_base (const data::variable_list &process_parameters, const deadlock_summand_vector &deadlock_summands, const std::vector< stochastic_action_summand > &action_summands)
	Constructor.
	linear_process_base (const atermpp::aterm &lps, bool stochastic_distributions_allowed=true)
	Constructor.
std::size_t	summand_count () const
	Returns the number of LPS summands.
const std::vector< stochastic_action_summand > &	action_summands () const
	Returns the sequence of action summands.
std::vector< stochastic_action_summand > &	action_summands ()
	Returns the sequence of action summands.
const deadlock_summand_vector &	deadlock_summands () const
	Returns the sequence of deadlock summands.
deadlock_summand_vector &	deadlock_summands ()
	Returns the sequence of deadlock summands.
const data::variable_list &	process_parameters () const
	Returns the sequence of process parameters.
data::variable_list &	process_parameters ()
	Returns the sequence of process parameters.
bool	has_time () const
	Returns true if time is available in at least one of the summands.

Private Types
using	super = linear_process_base< stochastic_action_summand >

Additional Inherited Members
Public Types inherited from mcrl2::lps::linear_process_base< stochastic_action_summand >
using	action_summand_type = stochastic_action_summand
	The action summand type.
Protected Attributes inherited from mcrl2::lps::linear_process_base< stochastic_action_summand >
data::variable_list	m_process_parameters
	The process parameters of the process.
deadlock_summand_vector	m_deadlock_summands
	The deadlock summands of the process.
std::vector< stochastic_action_summand >	m_action_summands
	The action summands of the process.

Detailed Description

linear process.

Definition at line 49 of file stochastic_linear_process.h.

Member Typedef Documentation

super

using mcrl2::lps::stochastic_linear_process::super = linear_process_base<stochastic_action_summand>

private

Definition at line 51 of file stochastic_linear_process.h.

Constructor & Destructor Documentation

stochastic_linear_process() [1/4]

mcrl2::lps::stochastic_linear_process::stochastic_linear_process ( )

default

Constructor.

stochastic_linear_process() [2/4]

mcrl2::lps::stochastic_linear_process::stochastic_linear_process ( const atermpp::aterm &  t, bool  stochastic_distributions_allowed = true  )

inline

Constructor.

Definition at line 58 of file stochastic_linear_process.h.

stochastic_linear_process() [3/4]

mcrl2::lps::stochastic_linear_process::stochastic_linear_process ( const data::variable_list &  process_parameters, const deadlock_summand_vector &  deadlock_summands, const stochastic_action_summand_vector &  action_summands  )

inline

Constructor.

Definition at line 63 of file stochastic_linear_process.h.

stochastic_linear_process() [4/4]

mcrl2::lps::stochastic_linear_process::stochastic_linear_process ( const linear_process &  other )

inlineexplicit

Constructor.

Definition at line 70 of file stochastic_linear_process.h.

---

The documentation for this class was generated from the following file:

• lps/include/mcrl2/lps/stochastic_linear_process.h