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::assignment_list &ass, const INITIALIZER &init)
process_initializer mcrl2::lps::detail::make_process_initializer(const data::assignment_list &ass, const process_initializer&)
stochastic_process_initializer mcrl2::lps::detail::make_process_initializer(const data::assignment_list &ass, const stochastic_process_initializer &init)