mcrl2/lps/one_point_rule_rewrite.h

Include file:

#include "mcrl2/lps/one_point_rule_rewrite.h"

Classes

  • mcrl2::lps::detail::one_point_rule_rewrite_builder

Functions

void 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

T 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