mCRL2
|
A rewriter that applies one point rule quantifier elimination to a PBES. More...
#include <one_point_rule_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. | |
A rewriter that applies one point rule quantifier elimination to a PBES.
Definition at line 134 of file one_point_rule_rewriter.h.
The term type.
Definition at line 138 of file one_point_rule_rewriter.h.
The variable type.
Definition at line 141 of file one_point_rule_rewriter.h.
|
inline |
Rewrites a pbes expression.
x | A term |
Definition at line 146 of file one_point_rule_rewriter.h.