Include file:
#include "mcrl2/lps/process_initializer.h"
The class process_initializer.
mcrl2::lps::
process_initializer_list
¶typedef for atermpp::term_list< process_initializer >
brief list of process_initializers
mcrl2::lps::
process_initializer_vector
¶typedef for std::vector< process_initializer >
brief vector of process_initializers
mcrl2::lps::
stochastic_process_initializer_list
¶typedef for atermpp::term_list< stochastic_process_initializer >
brief list of stochastic_process_initializers
mcrl2::lps::
stochastic_process_initializer_vector
¶typedef for std::vector< stochastic_process_initializer >
brief vector of stochastic_process_initializers
mcrl2::lps::
is_process_initializer
(const atermpp::aterm_appl &x)¶brief Test for a process_initializer expression param x A term return True if a x is a process_initializer expression
mcrl2::lps::
is_stochastic_process_initializer
(const atermpp::aterm_appl &x)¶brief Test for a stochastic_process_initializer expression param x A term return True if a x is a stochastic_process_initializer expression
mcrl2::lps::
make_process_initializer
(atermpp::aterm_appl &t, EXPRESSION_LIST args)¶mcrl2::lps::
make_stochastic_process_initializer
(atermpp::aterm_appl &t, ARGUMENTS... args)¶mcrl2::lps::
operator<<
(std::ostream &out, const process_initializer &x)¶brief Outputs the object to a stream param out An output stream param x Object x return The output stream
mcrl2::lps::
operator<<
(std::ostream &out, const stochastic_process_initializer &x)¶brief Outputs the object to a stream param out An output stream param x Object x return The output stream
mcrl2::lps::
swap
(process_initializer &t1, process_initializer &t2)¶brief swap overload
mcrl2::lps::
swap
(stochastic_process_initializer &t1, stochastic_process_initializer &t2)¶brief swap overload