mCRL2
|
A rewriter that applies a data rewriter to data expressions in a term. More...
#include <data_rewriter.h>
Public Types | |
typedef data_expression | term_type |
typedef data::variable | variable_type |
Public Member Functions | |
data_rewriter (const DataRewriter &R_) | |
data_expression | operator() (const data_expression &x) const |
template<typename SubstitutionFunction > | |
data_expression | operator() (const data_expression &x, SubstitutionFunction &sigma) const |
Public Attributes | |
const DataRewriter & | R |
A rewriter that applies a data rewriter to data expressions in a term.
Definition at line 108 of file data_rewriter.h.
typedef data_expression mcrl2::data::data_rewriter< DataRewriter >::term_type |
Definition at line 110 of file data_rewriter.h.
typedef data::variable mcrl2::data::data_rewriter< DataRewriter >::variable_type |
Definition at line 111 of file data_rewriter.h.
|
inline |
Definition at line 115 of file data_rewriter.h.
|
inline |
Definition at line 119 of file data_rewriter.h.
|
inline |
Definition at line 126 of file data_rewriter.h.
const DataRewriter& mcrl2::data::data_rewriter< DataRewriter >::R |
Definition at line 113 of file data_rewriter.h.