mcrl2::pbes_system::simplify_rewriter Struct Reference

A rewriter that simplifies boolean expressions in a term. More...

#include <simplify_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
void	operator() (pbes_expression &result, const pbes_expression &x) const

Detailed Description

A rewriter that simplifies boolean expressions in a term.

Definition at line 191 of file simplify_rewriter.h.

Member Typedef Documentation

term_type

typedef pbes_expression mcrl2::pbes_system::simplify_rewriter::term_type

Definition at line 193 of file simplify_rewriter.h.

variable_type

typedef data::variable mcrl2::pbes_system::simplify_rewriter::variable_type

Definition at line 194 of file simplify_rewriter.h.

Member Function Documentation

operator()() [1/2]

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

inline

Definition at line 196 of file simplify_rewriter.h.

operator()() [2/2]

void mcrl2::pbes_system::simplify_rewriter::operator() ( pbes_expression &  result, const pbes_expression &  x  ) const

inline

Definition at line 203 of file simplify_rewriter.h.

---

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

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