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

A rewriter that simplifies boolean expressions in a term, and rewrites data expressions using DataRewriter. More...

#include <simplify_rewriter.h>

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

Public Member Functions
	simplify_data_rewriter (const DataRewriter &R_)
pbes_expression	operator() (const pbes_expression &x) const
template<typename Substitution >
pbes_expression	operator() (const pbes_expression &x, Substitution &sigma) const
template<typename Substitution >
void	operator() (pbes_expression &result, const pbes_expression &x, Substitution &sigma) const
template<typename Substitution , typename PbesSubstitution >
pbes_expression	operator() (const pbes_expression &x, Substitution &sigma, const PbesSubstitution &sigma_pbes) const
template<typename Substitution , typename PbesSubstitution >
void	operator() (pbes_expression &result, const pbes_expression &x, Substitution &sigma, const PbesSubstitution &sigma_pbes) const

Public Attributes
const DataRewriter &	R

Detailed Description

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

A rewriter that simplifies boolean expressions in a term, and rewrites data expressions using DataRewriter.

Definition at line 364 of file simplify_rewriter.h.

Member Typedef Documentation

term_type

template<typename DataRewriter >

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

Definition at line 366 of file simplify_rewriter.h.

variable_type

template<typename DataRewriter >

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

Definition at line 367 of file simplify_rewriter.h.

Constructor & Destructor Documentation

simplify_data_rewriter()

template<typename DataRewriter >

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

inlineexplicit

Definition at line 371 of file simplify_rewriter.h.

Member Function Documentation

operator()() [1/5]

template<typename DataRewriter >

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

inline

Definition at line 375 of file simplify_rewriter.h.

operator()() [2/5]

template<typename DataRewriter >

template<typename Substitution >

pbes_expression mcrl2::pbes_system::simplify_data_rewriter< DataRewriter >::operator() ( const pbes_expression &  x, Substitution &  sigma  ) const

inline

Definition at line 386 of file simplify_rewriter.h.

operator()() [3/5]

template<typename DataRewriter >

template<typename Substitution , typename PbesSubstitution >

pbes_expression mcrl2::pbes_system::simplify_data_rewriter< DataRewriter >::operator() ( const pbes_expression &  x, Substitution &  sigma, const PbesSubstitution &  sigma_pbes  ) const

inline

Definition at line 404 of file simplify_rewriter.h.

operator()() [4/5]

template<typename DataRewriter >

template<typename Substitution >

void mcrl2::pbes_system::simplify_data_rewriter< DataRewriter >::operator() ( pbes_expression &  result, const pbes_expression &  x, Substitution &  sigma  ) const

inline

Definition at line 396 of file simplify_rewriter.h.

operator()() [5/5]

template<typename DataRewriter >

template<typename Substitution , typename PbesSubstitution >

void mcrl2::pbes_system::simplify_data_rewriter< DataRewriter >::operator() ( pbes_expression &  result, const pbes_expression &  x, Substitution &  sigma, const PbesSubstitution &  sigma_pbes  ) const

inline

Definition at line 416 of file simplify_rewriter.h.

Member Data Documentation

R

template<typename DataRewriter >

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

Definition at line 369 of file simplify_rewriter.h.

---

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

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