mCRL2
|
Applies a data rewriter to data expressions appearing in a term. It works both with and without a substitution. More...
#include <data_rewriter.h>
Public Types | |
typedef Builder< Derived > | super |
Public Member Functions | |
add_data_rewriter (const DataRewriter &R_, SubstitutionFunction &sigma_) | |
data_expression | operator() (const data::data_expression &x) |
template<class T > | |
void | apply (T &result, const data::data_expression &x) |
Public Attributes | |
const DataRewriter & | R |
SubstitutionFunction & | sigma |
Applies a data rewriter to data expressions appearing in a term. It works both with and without a substitution.
Definition at line 40 of file data_rewriter.h.
typedef Builder<Derived> mcrl2::data::detail::add_data_rewriter< Builder, Derived, DataRewriter, SubstitutionFunction >::super |
Definition at line 42 of file data_rewriter.h.
|
inline |
Definition at line 50 of file data_rewriter.h.
|
inline |
Definition at line 60 of file data_rewriter.h.
|
inline |
Definition at line 54 of file data_rewriter.h.
const DataRewriter& mcrl2::data::detail::add_data_rewriter< Builder, Derived, DataRewriter, SubstitutionFunction >::R |
Definition at line 47 of file data_rewriter.h.
SubstitutionFunction& mcrl2::data::detail::add_data_rewriter< Builder, Derived, DataRewriter, SubstitutionFunction >::sigma |
Definition at line 48 of file data_rewriter.h.