mcrl2/lps/untime.h

Include file:

#include "mcrl2/lps/untime.h"

Removes time from a linear process.

Classes

• mcrl2::lps::untime_algorithm

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)