mcrl2/lps/remove.h

Include file:

#include "mcrl2/lps/remove.h"

add your file description here.

Classes

  • mcrl2::lps::detail::is_singleton_sort

  • mcrl2::lps::detail::is_trivial_summand

  • mcrl2::lps::detail::remove_parameters_builder

Functions

void mcrl2::lps::remove_parameters(Object &x, const std::set<data::variable> &to_be_removed)

Rewrites an LPS data type.

data::assignment_list mcrl2::lps::remove_redundant_assignments(const data::assignment_list &assignments, const data::variable_list &do_not_remove)

Removes assignments of the form x := x from v for variables x that are not contained in do_not_remove.

void mcrl2::lps::remove_redundant_assignments(Specification &lpsspec)

Removes redundant assignments of the form x = x from an LPS specification.

Parameters:

  • lpsspec A linear process specification

void mcrl2::lps::remove_singleton_sorts(Specification &spec)

Removes parameters with a singleton sort from a linear process specification.

Parameters:

  • spec A linear process specification

void mcrl2::lps::remove_trivial_summands(Specification &spec)

Removes summands with condition equal to false from a linear process specification.

Parameters:

  • spec A linear process specification