mCRL2
Loading...
Searching...
No Matches
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
 
const bool m_skip_head
 

Detailed Description

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

Definition at line 213 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 220 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 226 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
protected

Definition at line 217 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 216 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 218 of file application.h.


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