mcrl2::data::detail::skip_function_application_to_head_assignment< ArgumentConverter > Class Template Reference

#include <application.h>

Public Member Functions
	skip_function_application_to_head_assignment (ArgumentConverter &f, const bool skip_head)
void	operator() (data_expression &result, const data_expression &d)

Protected Attributes
ArgumentConverter &	m_f
std::size_t	m_current_index = 0
const bool	m_skip_head

Detailed Description

template<class ArgumentConverter>
class mcrl2::data::detail::skip_function_application_to_head_assignment< ArgumentConverter >

Definition at line 206 of file application.h.

Constructor & Destructor Documentation

skip_function_application_to_head_assignment()

template<class ArgumentConverter >

mcrl2::data::detail::skip_function_application_to_head_assignment< ArgumentConverter >::skip_function_application_to_head_assignment ( ArgumentConverter &  f, const bool  skip_head  )

inline

Definition at line 213 of file application.h.

Member Function Documentation

operator()()

template<class ArgumentConverter >

void mcrl2::data::detail::skip_function_application_to_head_assignment< ArgumentConverter >::operator() ( data_expression &  result, const data_expression &  d  )

inline

Definition at line 219 of file application.h.

Member Data Documentation

m_current_index

template<class ArgumentConverter >

std::size_t mcrl2::data::detail::skip_function_application_to_head_assignment< ArgumentConverter >::m_current_index = 0

protected

Definition at line 210 of file application.h.

m_f

template<class ArgumentConverter >

ArgumentConverter& mcrl2::data::detail::skip_function_application_to_head_assignment< ArgumentConverter >::m_f

protected

Definition at line 209 of file application.h.

m_skip_head

template<class ArgumentConverter >

const bool mcrl2::data::detail::skip_function_application_to_head_assignment< ArgumentConverter >::m_skip_head

protected

Definition at line 211 of file application.h.

---

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

• data/include/mcrl2/data/application.h