mcrl2/lps/untime.h

Include file:

#include "mcrl2/lps/untime.h"

Removes time from a linear process.

Functions

INITIALIZER mcrl2::lps::detail::make_process_initializer(const data::data_expression_list &expressions, const INITIALIZER &init)
process_initializer mcrl2::lps::detail::make_process_initializer(const data::data_expression_list &expressions, const process_initializer&)
stochastic_process_initializer mcrl2::lps::detail::make_process_initializer(const data::data_expression_list &expressions, const stochastic_process_initializer &init)