delayed_abstraction< TERM_TO_BE_REWRITTEN > Class Template Reference

#include <jittycpreamble.h>

Public Member Functions
	delayed_abstraction (const binder_type &binding_operator, const variable_list &variables, const TERM_TO_BE_REWRITTEN &body, RewriterCompilingJitty *tr)
data_expression &	normal_form () const
void	normal_form (data_expression &result) const

Protected Attributes
const binder_type &	m_binding_operator
const variable_list &	m_variables
const TERM_TO_BE_REWRITTEN &	m_body
RewriterCompilingJitty *	this_rewriter

Detailed Description

template<class TERM_TO_BE_REWRITTEN>
class delayed_abstraction< TERM_TO_BE_REWRITTEN >

Definition at line 121 of file jittycpreamble.h.

Constructor & Destructor Documentation

delayed_abstraction()

template<class TERM_TO_BE_REWRITTEN >

delayed_abstraction< TERM_TO_BE_REWRITTEN >::delayed_abstraction ( const binder_type &  binding_operator, const variable_list &  variables, const TERM_TO_BE_REWRITTEN &  body, RewriterCompilingJitty *  tr  )

inline

Definition at line 129 of file jittycpreamble.h.

Member Function Documentation

normal_form() [1/2]

template<class TERM_TO_BE_REWRITTEN >

data_expression & delayed_abstraction< TERM_TO_BE_REWRITTEN >::normal_form ( ) const

inline

Definition at line 136 of file jittycpreamble.h.

normal_form() [2/2]

template<class TERM_TO_BE_REWRITTEN >

void delayed_abstraction< TERM_TO_BE_REWRITTEN >::normal_form ( data_expression &  result ) const

inline

Definition at line 145 of file jittycpreamble.h.

Member Data Documentation

m_binding_operator

template<class TERM_TO_BE_REWRITTEN >

const binder_type& delayed_abstraction< TERM_TO_BE_REWRITTEN >::m_binding_operator

protected

Definition at line 124 of file jittycpreamble.h.

m_body

template<class TERM_TO_BE_REWRITTEN >

const TERM_TO_BE_REWRITTEN& delayed_abstraction< TERM_TO_BE_REWRITTEN >::m_body

protected

Definition at line 126 of file jittycpreamble.h.

m_variables

template<class TERM_TO_BE_REWRITTEN >

const variable_list& delayed_abstraction< TERM_TO_BE_REWRITTEN >::m_variables

protected

Definition at line 125 of file jittycpreamble.h.

this_rewriter

template<class TERM_TO_BE_REWRITTEN >

RewriterCompilingJitty* delayed_abstraction< TERM_TO_BE_REWRITTEN >::this_rewriter

protected

Definition at line 127 of file jittycpreamble.h.

---

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

• data/include/mcrl2/data/detail/rewrite/jittycpreamble.h