mcrl2::data::detail::skip_function_application_to_head

Include file:

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

Protected attributes

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

Public member functions

data_expression operator()(const data_expression &d)
skip_function_application_to_head(ArgumentConverter &f, const bool skip_head)