mCRL2
|
A rewriter that brings PBES expressions into PFNF normal form. More...
#include <pfnf_rewriter.h>
Public Types | |
typedef pbes_expression | term_type |
The term type. | |
typedef data::variable | variable_type |
The variable type. | |
Public Member Functions | |
pbes_expression | operator() (const pbes_expression &x) const |
Rewrites a pbes expression. | |
template<typename SubstitutionFunction > | |
pbes_expression | operator() (const pbes_expression &x, SubstitutionFunction sigma) const |
Rewrites a pbes expression. | |
A rewriter that brings PBES expressions into PFNF normal form.
Definition at line 22 of file pfnf_rewriter.h.
The term type.
Definition at line 26 of file pfnf_rewriter.h.
The variable type.
Definition at line 29 of file pfnf_rewriter.h.
|
inline |
Rewrites a pbes expression.
x | A term |
Definition at line 34 of file pfnf_rewriter.h.
|
inline |
Rewrites a pbes expression.
x | A term |
sigma | A substitution function |
Definition at line 46 of file pfnf_rewriter.h.