Include file:
#include "mcrl2/lps/remove.h"
add your file description here.
mcrl2::lps::detail::is_singleton_sort
mcrl2::lps::detail::is_trivial_summand
mcrl2::lps::detail::remove_parameters_builder
mcrl2::lps::
remove_parameters
(Object &x, const std::set<data::variable> &to_be_removed)¶Rewrites an LPS data type.
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.
mcrl2::lps::
remove_redundant_assignments
(Specification &lpsspec)¶Removes redundant assignments of the form x = x from an LPS specification.
Parameters:
mcrl2::lps::
remove_singleton_sorts
(Specification &spec)¶Removes parameters with a singleton sort from a linear process specification.
Parameters:
mcrl2::lps::
remove_trivial_summands
(Specification &spec)¶Removes summands with condition equal to false from a linear process specification.
Parameters: