mCRL2
Loading...
Searching...
No Matches
Public Types | Public Member Functions | Public Attributes | List of all members
atermpp::detail::cached_bottom_up_replace_aterm_builder< Builder, ReplaceFunction > Struct Template Reference

#include <algorithm.h>

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

Public Types

typedef Builder< cached_bottom_up_replace_aterm_builder< Builder, ReplaceFunction > > super
 

Public Member Functions

 cached_bottom_up_replace_aterm_builder (ReplaceFunction f_, std::unordered_map< aterm, aterm > &cache_)
 
template<class T >
void apply (T &result, const aterm &x)
 

Public Attributes

ReplaceFunction f
 
std::unordered_map< aterm, aterm > & cache
 

Detailed Description

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

Definition at line 132 of file algorithm.h.

Member Typedef Documentation

◆ super

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

Definition at line 134 of file algorithm.h.

Constructor & Destructor Documentation

◆ cached_bottom_up_replace_aterm_builder()

template<template< class > class Builder, class ReplaceFunction >
atermpp::detail::cached_bottom_up_replace_aterm_builder< Builder, ReplaceFunction >::cached_bottom_up_replace_aterm_builder ( ReplaceFunction  f_,
std::unordered_map< aterm, aterm > &  cache_ 
)
inline

Definition at line 143 of file algorithm.h.

Member Function Documentation

◆ apply()

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

Definition at line 148 of file algorithm.h.

Member Data Documentation

◆ cache

template<template< class > class Builder, class ReplaceFunction >
std::unordered_map<aterm, aterm>& atermpp::detail::cached_bottom_up_replace_aterm_builder< Builder, ReplaceFunction >::cache

Definition at line 141 of file algorithm.h.

◆ f

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

Definition at line 140 of file algorithm.h.

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