mCRL2
Loading...
Searching...
No Matches
mcrl2::lps::stochastic_linear_process Class Reference

linear process. More...

#include <stochastic_linear_process.h>

Inheritance diagram for mcrl2::lps::stochastic_linear_process:
mcrl2::lps::linear_process_base< stochastic_action_summand >

Public Member Functions

 stochastic_linear_process ()
 Constructor.
 
 stochastic_linear_process (const atermpp::aterm_appl &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_appl &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_vectordeadlock_summands () const
 Returns the sequence of deadlock summands.
 
deadlock_summand_vectordeadlock_summands ()
 Returns the sequence of deadlock summands.
 
const data::variable_listprocess_parameters () const
 Returns the sequence of process parameters.
 
data::variable_listprocess_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

typedef linear_process_base< stochastic_action_summandsuper
 

Additional Inherited Members

- Public Types inherited from mcrl2::lps::linear_process_base< stochastic_action_summand >
typedef stochastic_action_summand action_summand_type
 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_summandm_action_summands
 The action summands of the process.
 

Detailed Description

linear process.

Definition at line 51 of file stochastic_linear_process.h.

Member Typedef Documentation

◆ super

Constructor & Destructor Documentation

◆ stochastic_linear_process() [1/4]

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

Constructor.

Definition at line 57 of file stochastic_linear_process.h.

◆ stochastic_linear_process() [2/4]

mcrl2::lps::stochastic_linear_process::stochastic_linear_process ( const atermpp::aterm_appl t,
bool  stochastic_distributions_allowed = true 
)
inline

Constructor.

Definition at line 61 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 66 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 74 of file stochastic_linear_process.h.


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