mCRL2
|
#include <data_rewriter.h>
Public Types | |
typedef add_data_rewriter< data::data_expression_builder, Derived, DataRewriter, SubstitutionFunction > | super |
![]() | |
typedef data::data_expression_builder< Derived > | super |
Public Member Functions | |
data_rewriter_builder (const DataRewriter &R, SubstitutionFunction &sigma) | |
![]() | |
add_data_rewriter (const DataRewriter &R_, SubstitutionFunction &sigma_) | |
data_expression | operator() (const data::data_expression &x) |
void | apply (T &result, const data::data_expression &x) |
Additional Inherited Members | |
![]() | |
const DataRewriter & | R |
SubstitutionFunction & | sigma |
Definition at line 68 of file data_rewriter.h.
typedef add_data_rewriter<data::data_expression_builder, Derived, DataRewriter, SubstitutionFunction> mcrl2::data::detail::data_rewriter_builder< Derived, DataRewriter, SubstitutionFunction >::super |
Definition at line 70 of file data_rewriter.h.
|
inline |
Definition at line 75 of file data_rewriter.h.