mcrl2::data::simplify_rewriter Struct Reference

#include <simplify_rewriter.h>

Public Types
using	argument_type = data_expression
using	result_type = data_expression

Public Member Functions
void	operator() (data_expression &result, const data_expression &x) const
data_expression	operator() (const data_expression &x) const

Detailed Description

Definition at line 130 of file simplify_rewriter.h.

Member Typedef Documentation

argument_type

using mcrl2::data::simplify_rewriter::argument_type = data_expression

Definition at line 132 of file simplify_rewriter.h.

result_type

using mcrl2::data::simplify_rewriter::result_type = data_expression

Definition at line 133 of file simplify_rewriter.h.

Member Function Documentation

operator()() [1/2]

data_expression mcrl2::data::simplify_rewriter::operator() ( const data_expression &  x ) const

inline

Definition at line 140 of file simplify_rewriter.h.

operator()() [2/2]

void mcrl2::data::simplify_rewriter::operator() ( data_expression &  result, const data_expression &  x  ) const

inline

Definition at line 135 of file simplify_rewriter.h.

---

The documentation for this struct was generated from the following file:

• data/include/mcrl2/data/rewriters/simplify_rewriter.h