mCRL2
Loading...
Searching...
No Matches
atermpp::detail::do_not_convert_term< Term > Struct Template Reference

#include <aterm_list.h>

Public Member Functions

void operator() (Term &result, const Term &t) const
 
const Term & operator() (const Term &t) const
 
Term & operator() (Term &t) const
 

Detailed Description

template<class Term>
struct atermpp::detail::do_not_convert_term< Term >

Definition at line 33 of file aterm_list.h.

Member Function Documentation

◆ operator()() [1/3]

template<class Term >
const Term & atermpp::detail::do_not_convert_term< Term >::operator() ( const Term &  t) const
inline

Definition at line 40 of file aterm_list.h.

◆ operator()() [2/3]

template<class Term >
void atermpp::detail::do_not_convert_term< Term >::operator() ( Term &  result,
const Term &  t 
) const
inline

Definition at line 35 of file aterm_list.h.

◆ operator()() [3/3]

template<class Term >
Term & atermpp::detail::do_not_convert_term< Term >::operator() ( Term &  t) const
inline

Definition at line 45 of file aterm_list.h.


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