mCRL2
|
linear process. More...
#include <linear_process.h>
Public Member Functions | |
linear_process ()=default | |
Constructor. | |
linear_process (const data::variable_list &process_parameters, const deadlock_summand_vector &deadlock_summands, const action_summand_vector &action_summands) | |
Constructor. | |
linear_process (const atermpp::aterm &lps, bool=false) | |
Constructor. | |
![]() | |
linear_process_base ()=default | |
Constructor. | |
linear_process_base (const data::variable_list &process_parameters, const deadlock_summand_vector &deadlock_summands, const std::vector< 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< action_summand > & | action_summands () const |
Returns the sequence of action summands. | |
std::vector< 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 | |
typedef linear_process_base< action_summand > | super |
Additional Inherited Members | |
![]() | |
typedef action_summand | action_summand_type |
The action summand type. | |
![]() | |
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< action_summand > | m_action_summands |
The action summands of the process. | |
linear process.
Definition at line 201 of file linear_process.h.
|
private |
Definition at line 203 of file linear_process.h.
|
default |
Constructor.
|
inline |
Constructor.
Definition at line 210 of file linear_process.h.
|
inlineexplicit |