mcrl2::data::detail::skip_function_application_to_head_assignment

Include file:

#include "mcrl2/data/application.h
class mcrl2::data::detail::skip_function_application_to_head_assignment

Protected attributes

std::size_t mcrl2::data::detail::skip_function_application_to_head_assignment::m_current_index
ArgumentConverter &mcrl2::data::detail::skip_function_application_to_head_assignment::m_f
const bool mcrl2::data::detail::skip_function_application_to_head_assignment::m_skip_head

Public member functions

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