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)