mcrl2/lps/parelm.h

Include file:

#include "mcrl2/lps/parelm.h"

The parelm algorithm.

Functions

void mcrl2::lps::parelm(Specification &spec, bool variant1 = true)

Removes unused parameters from a linear process specification.

Parameters:

  • spec A linear process specification
  • variant1 If true the default variant of parelm is used, otherwise an alternative implementation is chosen.

Functions

void mcrl2::lps::detail::collect_transition_variables(const action_summand &s, std::set<data::variable> &result)
void mcrl2::lps::detail::collect_transition_variables(const deadlock_summand &s, std::set<data::variable> &result)
void mcrl2::lps::detail::collect_transition_variables(const stochastic_action_summand &s, std::set<data::variable> &result)