mCRL2
Loading...
Searching...
No Matches
Public Types | Public Member Functions | List of all members
mcrl2::pbes_system::simplify_rewriter Struct Reference

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

#include <simplify_rewriter.h>

Public Types

using term_type = pbes_expression
 
using variable_type = data::variable
 

Public Member Functions

pbes_expression operator() (const pbes_expression &x) const
 
void operator() (pbes_expression &result, const pbes_expression &x) const
 
template<class PbesSubstitution >
pbes_expression operator() (const pbes_expression &x, const PbesSubstitution &sigma) const
 
template<class PbesSubstitution >
void operator() (pbes_expression &result, const pbes_expression &x, const PbesSubstitution &sigma) const
 

Detailed Description

A rewriter that simplifies boolean expressions in a term.

Definition at line 326 of file simplify_rewriter.h.

Member Typedef Documentation

◆ term_type

using mcrl2::pbes_system::simplify_rewriter::term_type = pbes_expression

Definition at line 328 of file simplify_rewriter.h.

◆ variable_type

using mcrl2::pbes_system::simplify_rewriter::variable_type = data::variable

Definition at line 329 of file simplify_rewriter.h.

Member Function Documentation

◆ operator()() [1/4]

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

Definition at line 331 of file simplify_rewriter.h.

◆ operator()() [2/4]

template<class PbesSubstitution >
pbes_expression mcrl2::pbes_system::simplify_rewriter::operator() ( const pbes_expression &  x,
const PbesSubstitution &  sigma 
) const
inline

Definition at line 345 of file simplify_rewriter.h.

◆ operator()() [3/4]

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

Definition at line 338 of file simplify_rewriter.h.

◆ operator()() [4/4]

template<class PbesSubstitution >
void mcrl2::pbes_system::simplify_rewriter::operator() ( pbes_expression &  result,
const pbes_expression &  x,
const PbesSubstitution &  sigma 
) const
inline

Definition at line 354 of file simplify_rewriter.h.

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