mcrl2::pbes_system::simplify_quantifiers_rewriter Struct Reference

A rewriter that simplifies boolean expressions and quantifiers. More...

#include <simplify_quantifiers_rewriter.h>

Public Types
typedef pbes_expression	term_type
typedef data::variable	variable_type

Public Member Functions
pbes_expression	operator() (const pbes_expression &x) const

Detailed Description

A rewriter that simplifies boolean expressions and quantifiers.

Definition at line 153 of file simplify_quantifiers_rewriter.h.

Member Typedef Documentation

term_type

typedef pbes_expression mcrl2::pbes_system::simplify_quantifiers_rewriter::term_type

Definition at line 155 of file simplify_quantifiers_rewriter.h.

variable_type

typedef data::variable mcrl2::pbes_system::simplify_quantifiers_rewriter::variable_type

Definition at line 156 of file simplify_quantifiers_rewriter.h.

Member Function Documentation

operator()()

pbes_expression mcrl2::pbes_system::simplify_quantifiers_rewriter::operator() ( const pbes_expression &  x ) const

inline

Definition at line 158 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