mcrl2::data::detail::jitty_argument_rewriter Class Reference

Public Member Functions
	jitty_argument_rewriter (mutable_indexed_substitution<> &sigma, RewriterJitty &r)
void	operator() (data_expression &result, const data_expression &t)
	jitty_argument_rewriter (mutable_indexed_substitution<> &sigma, RewriterJitty &r)
void	operator() (data_expression &result, const data_expression &t)

Protected Attributes
mutable_indexed_substitution &	m_sigma
RewriterJitty &	m_r

Detailed Description

Definition at line 97 of file jitty.cpp.

Constructor & Destructor Documentation

jitty_argument_rewriter() [1/2]

mcrl2::data::detail::jitty_argument_rewriter::jitty_argument_rewriter ( mutable_indexed_substitution<> &  sigma, RewriterJitty &  r  )

inline

Definition at line 103 of file jitty.cpp.

jitty_argument_rewriter() [2/2]

mcrl2::data::detail::jitty_argument_rewriter::jitty_argument_rewriter ( mutable_indexed_substitution<> &  sigma, RewriterJitty &  r  )

inline

Definition at line 103 of file jitty.cpp.

Member Function Documentation

operator()() [1/2]

void mcrl2::data::detail::jitty_argument_rewriter::operator() ( data_expression &  result, const data_expression &  t  )

inline

Definition at line 107 of file jitty.cpp.

operator()() [2/2]

void mcrl2::data::detail::jitty_argument_rewriter::operator() ( data_expression &  result, const data_expression &  t  )

inline

Definition at line 107 of file jitty.cpp.

Member Data Documentation

m_r

RewriterJitty & mcrl2::data::detail::jitty_argument_rewriter::m_r

protected

Definition at line 101 of file jitty.cpp.

m_sigma

mutable_indexed_substitution & mcrl2::data::detail::jitty_argument_rewriter::m_sigma

protected

Definition at line 100 of file jitty.cpp.

---

The documentation for this class was generated from the following file:

• data/source/detail/rewrite/jitty.cpp