mCRL2
|
This is the complete list of members for mcrl2::data::simplify_rewriter, including all inherited members.
argument_type typedef | mcrl2::data::simplify_rewriter | |
operator()(data_expression &result, const data_expression &x) const | mcrl2::data::simplify_rewriter | inline |
operator()(const data_expression &x) const | mcrl2::data::simplify_rewriter | inline |
result_type typedef | mcrl2::data::simplify_rewriter |