Include file:
#include "mcrl2/data/rewriters/one_point_rule_rewriter.h
mcrl2::data::detail::
one_point_rule_rewrite_builder
¶mcrl2::data::detail::one_point_rule_rewrite_builder::
super
¶typedef for data_expression_builder< Derived >
apply
(const forall &x)¶apply
(const exists &x)¶derived
()¶