Include file:
#include "mcrl2/lps/untime.h"
Removes time from a linear process.
mcrl2::lps::detail::
make_process_initializer
(const data::data_expression_list &expressions, const INITIALIZER &init)¶mcrl2::lps::detail::
make_process_initializer
(const data::data_expression_list &expressions, const process_initializer&)¶mcrl2::lps::detail::
make_process_initializer
(const data::data_expression_list &expressions, const stochastic_process_initializer &init)¶