mcrl2::pbes_system::simplify_quantifiers_data_rewriter< DataRewriter > Struct Template Reference

A rewriter that simplifies boolean expressions and quantifiers, and rewrites data expressions. More...

#include <simplify_quantifiers_rewriter.h>

Public Types
using	term_type = pbes_expression
using	variable_type = data::variable

Public Member Functions
	simplify_quantifiers_data_rewriter (const DataRewriter &R_)
pbes_expression	operator() (const pbes_expression &x) const
template<typename SubstitutionFunction >
pbes_expression	operator() (const pbes_expression &x, SubstitutionFunction &sigma) const

Public Attributes
const DataRewriter &	R

Detailed Description

template<typename DataRewriter>
struct mcrl2::pbes_system::simplify_quantifiers_data_rewriter< DataRewriter >

A rewriter that simplifies boolean expressions and quantifiers, and rewrites data expressions.

Definition at line 161 of file simplify_quantifiers_rewriter.h.

Member Typedef Documentation

term_type

template<typename DataRewriter >

using mcrl2::pbes_system::simplify_quantifiers_data_rewriter< DataRewriter >::term_type = pbes_expression

Definition at line 163 of file simplify_quantifiers_rewriter.h.

variable_type

template<typename DataRewriter >

using mcrl2::pbes_system::simplify_quantifiers_data_rewriter< DataRewriter >::variable_type = data::variable

Definition at line 164 of file simplify_quantifiers_rewriter.h.

Constructor & Destructor Documentation

simplify_quantifiers_data_rewriter()

template<typename DataRewriter >

mcrl2::pbes_system::simplify_quantifiers_data_rewriter< DataRewriter >::simplify_quantifiers_data_rewriter ( const DataRewriter &  R_ )

inline

Definition at line 168 of file simplify_quantifiers_rewriter.h.

Member Function Documentation

operator()() [1/2]

template<typename DataRewriter >

pbes_expression mcrl2::pbes_system::simplify_quantifiers_data_rewriter< DataRewriter >::operator() ( const pbes_expression &  x ) const

inline

Definition at line 172 of file simplify_quantifiers_rewriter.h.

operator()() [2/2]

template<typename DataRewriter >

template<typename SubstitutionFunction >

pbes_expression mcrl2::pbes_system::simplify_quantifiers_data_rewriter< DataRewriter >::operator() ( const pbes_expression &  x, SubstitutionFunction &  sigma  ) const

inline

Definition at line 181 of file simplify_quantifiers_rewriter.h.

Member Data Documentation

R

template<typename DataRewriter >

const DataRewriter& mcrl2::pbes_system::simplify_quantifiers_data_rewriter< DataRewriter >::R

Definition at line 166 of file simplify_quantifiers_rewriter.h.

---

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

• pbes/include/mcrl2/pbes/rewriters/simplify_quantifiers_rewriter.h