mCRL2
Loading...
Searching...
No Matches
atermpp::detail::bottom_up_replace_aterm_builder< Builder, ReplaceFunction > Struct Template Reference

#include <algorithm.h>

Inheritance diagram for atermpp::detail::bottom_up_replace_aterm_builder< Builder, ReplaceFunction >:

Public Types

typedef Builder< bottom_up_replace_aterm_builder< Builder, ReplaceFunction > > super
 

Public Member Functions

 bottom_up_replace_aterm_builder (ReplaceFunction f_)
 
template<class T >
void apply (T &result, const aterm &x)
 

Public Attributes

ReplaceFunction f
 

Detailed Description

template<template< class > class Builder, class ReplaceFunction>
struct atermpp::detail::bottom_up_replace_aterm_builder< Builder, ReplaceFunction >

Definition at line 101 of file algorithm.h.

Member Typedef Documentation

◆ super

template<template< class > class Builder, class ReplaceFunction >
typedef Builder<bottom_up_replace_aterm_builder<Builder, ReplaceFunction> > atermpp::detail::bottom_up_replace_aterm_builder< Builder, ReplaceFunction >::super

Definition at line 103 of file algorithm.h.

Constructor & Destructor Documentation

◆ bottom_up_replace_aterm_builder()

template<template< class > class Builder, class ReplaceFunction >
atermpp::detail::bottom_up_replace_aterm_builder< Builder, ReplaceFunction >::bottom_up_replace_aterm_builder ( ReplaceFunction  f_)
inline

Definition at line 111 of file algorithm.h.

Member Function Documentation

◆ apply()

template<template< class > class Builder, class ReplaceFunction >
template<class T >
void atermpp::detail::bottom_up_replace_aterm_builder< Builder, ReplaceFunction >::apply ( T &  result,
const aterm x 
)
inline

Definition at line 116 of file algorithm.h.

Member Data Documentation

◆ f

template<template< class > class Builder, class ReplaceFunction >
ReplaceFunction atermpp::detail::bottom_up_replace_aterm_builder< Builder, ReplaceFunction >::f

Definition at line 109 of file algorithm.h.


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