mCRL2
|
#include <linear_process.h>
Public Types | |
typedef ActionSummand | action_summand_type |
The action summand type. | |
Public Member Functions | |
linear_process_base ()=default | |
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 &lps, bool stochastic_distributions_allowed=true) | |
Constructor. | |
std::size_t | summand_count () const |
Returns the number of LPS summands. | |
const std::vector< ActionSummand > & | action_summands () const |
Returns the sequence of action summands. | |
std::vector< ActionSummand > & | 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. | |
Protected Attributes | |
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< ActionSummand > | m_action_summands |
The action summands of the process. | |
Definition at line 63 of file linear_process.h.
typedef ActionSummand mcrl2::lps::linear_process_base< ActionSummand >::action_summand_type |
The action summand type.
Definition at line 77 of file linear_process.h.
|
default |
Constructor.
|
inline |
Constructor.
Definition at line 83 of file linear_process.h.
|
inlineexplicit |
Constructor.
lps | A term. |
stochastic_distributions_allowed | True when stochastic processes are allowed |
Definition at line 96 of file linear_process.h.
|
inline |
Returns the sequence of action summands.
Definition at line 145 of file linear_process.h.
|
inline |
Returns the sequence of action summands.
Definition at line 138 of file linear_process.h.
|
inline |
Returns the sequence of deadlock summands.
Definition at line 159 of file linear_process.h.
|
inline |
Returns the sequence of deadlock summands.
Definition at line 152 of file linear_process.h.
|
inline |
Returns true if time is available in at least one of the summands.
Definition at line 180 of file linear_process.h.
|
inline |
Returns the sequence of process parameters.
Definition at line 173 of file linear_process.h.
|
inline |
Returns the sequence of process parameters.
Definition at line 166 of file linear_process.h.
|
inline |
Returns the number of LPS summands.
Definition at line 131 of file linear_process.h.
|
protected |
The action summands of the process.
Definition at line 73 of file linear_process.h.
|
protected |
The deadlock summands of the process.
Definition at line 70 of file linear_process.h.
|
protected |
The process parameters of the process.
Definition at line 67 of file linear_process.h.