Include file:
#include "mcrl2/lps/one_point_rule_rewrite.h"
mcrl2::lps::detail::one_point_rule_rewrite_builder
mcrl2::lps::
one_point_rule_rewrite
(T &x, typename std::enable_if<!std::is_base_of<atermpp::aterm, T>::value>::type * = nullptr)¶Applies the one point rule rewriter to all embedded data expressions in an object x.
Parameters:
x an object containing data expressions
mcrl2::lps::
one_point_rule_rewrite
(const T &x, typename std::enable_if<std::is_base_of<atermpp::aterm, T>::value>::type * = nullptr)¶Applies the one point rule rewriter to all embedded data expressions in an object x.
Parameters:
x an object containing data expressions
Returns: the rewrite result