mcrl2::data::detail::simplify_rewrite_builder

Include file:

#include "mcrl2/data/rewriters/simplify_rewriter.h
class mcrl2::data::detail::simplify_rewrite_builder

Public types

type super

typedef for data_expression_builder< Derived >

Public member functions

data_expression apply(const application &x)
data_expression apply(const forall &x)
data_expression apply(const exists &x)
Derived &derived()
bool is_and(const data_expression &x) const
bool is_exists(const data_expression &x) const
bool is_forall(const data_expression &x) const
bool is_imp(const data_expression &x) const
bool is_not(const data_expression &x) const
bool is_or(const data_expression &x) const