Include file:
#include "mcrl2/data/rewriters/one_point_rule_rewriter.h"
add your file description here.
mcrl2::data::one_point_rule_rewriter
mcrl2::data::detail::one_point_rule_subtitution_algorithm
mcrl2::data::detail::
make_one_point_rule_substitution
(const std::map<data::variable, std::set<data::data_expression>> &equalities, const data::variable_list &quantifier_variables)¶