mcrl2::data::detail::one_point_rule_rewrite_builder

Include file:

#include "mcrl2/data/rewriters/one_point_rule_rewriter.h

class mcrl2::data::detail::one_point_rule_rewrite_builder

Public types

type mcrl2::data::detail::one_point_rule_rewrite_builder::super

typedef for data_expression_builder< Derived >

Public member functions

data_expression apply(const forall &x)

data_expression apply(const exists &x)

Derived &derived()