mcrl2/lps/linearise.h

Include file:

#include "mcrl2/lps/linearise.h"

Linearisation of process specifications.

Classes

  • mcrl2::lps::t_lin_options

Functions

mcrl2::lps::stochastic_specification linearise(const mcrl2::process::process_specification &type_checked_spec, mcrl2::lps::t_lin_options lin_options = t_lin_options())

Linearises a process specification.

Parameters:

  • type_checked_spec A process specification

  • lin_options options that should be used during linearisation

Returns: An LPS equivalent to spec, which is linearised using lin_options exception * mcrl2::runtime_error Linearisation failed

mcrl2::lps::stochastic_specification mcrl2::lps::linearise(const std::string &text, mcrl2::lps::t_lin_options lin_options = t_lin_options())

Linearises a process specification from a textual specification.

Parameters:

  • text A string containing a process specification

  • lin_options options that should be used during linearisation

Returns: An LPS equivalent to the specification representing text, which is linearised using lin_options exception * mcrl2::runtime_error Linearisation failed