mCRL2
Loading...
Searching...
No Matches
mcrl2::data::simplify_rewriter Member List

This is the complete list of members for mcrl2::data::simplify_rewriter, including all inherited members.

argument_type typedefmcrl2::data::simplify_rewriter
operator()(data_expression &result, const data_expression &x) constmcrl2::data::simplify_rewriterinline
operator()(const data_expression &x) constmcrl2::data::simplify_rewriterinline
result_type typedefmcrl2::data::simplify_rewriter