mCRL2
Loading...
Searching...
No Matches
mcrl2::data::detail::skip_function_application_to_head< ArgumentConverter > Class Template Reference

#include <application.h>

Public Member Functions

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

Protected Attributes

ArgumentConverter & m_f
 
std::size_t m_current_index
 
const bool m_skip_head
 

Detailed Description

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

Definition at line 186 of file application.h.

Constructor & Destructor Documentation

◆ skip_function_application_to_head()

template<class ArgumentConverter >
mcrl2::data::detail::skip_function_application_to_head< ArgumentConverter >::skip_function_application_to_head ( ArgumentConverter &  f,
const bool  skip_head 
)
inline

Definition at line 193 of file application.h.

Member Function Documentation

◆ operator()()

template<class ArgumentConverter >
data_expression mcrl2::data::detail::skip_function_application_to_head< ArgumentConverter >::operator() ( const data_expression d)
inline

Definition at line 199 of file application.h.

Member Data Documentation

◆ m_current_index

template<class ArgumentConverter >
std::size_t mcrl2::data::detail::skip_function_application_to_head< ArgumentConverter >::m_current_index
protected

Definition at line 190 of file application.h.

◆ m_f

template<class ArgumentConverter >
ArgumentConverter& mcrl2::data::detail::skip_function_application_to_head< ArgumentConverter >::m_f
protected

Definition at line 189 of file application.h.

◆ m_skip_head

template<class ArgumentConverter >
const bool mcrl2::data::detail::skip_function_application_to_head< ArgumentConverter >::m_skip_head
protected

Definition at line 191 of file application.h.


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