mCRL2
|
#include <data_rewriter.h>
Public Types | |
typedef Builder< apply_rewriter_builder< Builder, DataRewriter, SubstitutionFunction >, DataRewriter, SubstitutionFunction > | super |
Public Member Functions | |
apply_rewriter_builder (const DataRewriter &datar, SubstitutionFunction &sigma) | |
Definition at line 81 of file data_rewriter.h.
typedef Builder<apply_rewriter_builder<Builder, DataRewriter, SubstitutionFunction>, DataRewriter, SubstitutionFunction> mcrl2::data::detail::apply_rewriter_builder< Builder, DataRewriter, SubstitutionFunction >::super |
Definition at line 83 of file data_rewriter.h.
|
inline |
Definition at line 88 of file data_rewriter.h.