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

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

basic_rewriter(const std::shared_ptr< detail::Rewriter > &r)mcrl2::data::basic_rewriter< data_expression >inlineexplicitprotected
basic_rewriter(const basic_rewriter &other)=defaultmcrl2::data::basic_rewriter< data_expression >protected
basic_rewriter(const data_specification &d, const strategy s=jitty)mcrl2::data::basic_rewriter< data_expression >inlineexplicitprotected
basic_rewriter(const data_specification &d, const used_data_equation_selector &equation_selector, const strategy s=jitty)mcrl2::data::basic_rewriter< data_expression >inlineprotected
clone()mcrl2::data::rewriterinline
default_specification()mcrl2::data::rewriterinlineprotectedstatic
empty_substitution()mcrl2::data::rewriterinlineprotectedstatic
m_rewritermcrl2::data::basic_rewriter< data_expression >protected
operator()(const data_expression &d) constmcrl2::data::rewriterinline
operator()(const data_expression &d, const SubstitutionFunction &sigma) constmcrl2::data::rewriterinline
operator()(data_expression &result, const data_expression &d, const SubstitutionFunction &sigma) constmcrl2::data::rewriterinline
operator()(const data_expression &d, substitution_type &sigma) constmcrl2::data::rewriterinline
operator()(data_expression &result, const data_expression &d, substitution_type &sigma) constmcrl2::data::rewriterinline
operator=(const basic_rewriter &other)=defaultmcrl2::data::basic_rewriter< data_expression >protected
rewriter(const std::shared_ptr< detail::Rewriter > &r)mcrl2::data::rewriterinlineexplicitprotected
rewriter(const rewriter &r)=defaultmcrl2::data::rewriter
rewriter(const data_specification &d=rewriter::default_specification(), const strategy s=jitty)mcrl2::data::rewriterinlineexplicit
rewriter(const data_specification &d, const EquationSelector &selector, const strategy s=jitty)mcrl2::data::rewriterinline
strategy typedefmcrl2::data::basic_rewriter< data_expression >
substitution_type typedefmcrl2::data::rewriter
term_type typedefmcrl2::data::basic_rewriter< data_expression >
thread_initialise()mcrl2::data::rewriterinline
~rewriter()mcrl2::data::rewriterinline