#include <replace_capture_avoiding.h>

Inheritance diagram for mcrl2::data::detail::add_capture_avoiding_replacement< Builder, Derived, Substitution >:

Public Types
using	super = Builder< Derived >

Public Member Functions
	add_capture_avoiding_replacement (capture_avoiding_substitution_updater< Substitution > &sigma_)

template<class T >
void	apply (atermpp::term_list< T > &result, const assignment_list &x)

template<class T >
void	apply (T &result, const variable &v)

template<class T >
void	apply (T &result, const data::where_clause &x)

template<class T >
void	apply (T &result, const data::forall &x)

template<class T >
void	apply (T &result, const data::exists &x)

template<class T >
void	apply (T &result, const data::lambda &x)

template<class T >
void	apply (T &, data_equation &)

Public Attributes
capture_avoiding_substitution_updater< Substitution > &	sigma

Detailed Description

template<template< class > class Builder, class Derived, class Substitution>
struct mcrl2::data::detail::add_capture_avoiding_replacement< Builder, Derived, Substitution >

Definition at line 133 of file replace_capture_avoiding.h.

Member Typedef Documentation

◆ super

template<template< class > class Builder, class Derived , class Substitution >

using mcrl2::data::detail::add_capture_avoiding_replacement< Builder, Derived, Substitution >::super = Builder<Derived>

Definition at line 135 of file replace_capture_avoiding.h.

Constructor & Destructor Documentation

◆ add_capture_avoiding_replacement()

template<template< class > class Builder, class Derived , class Substitution >

mcrl2::data::detail::add_capture_avoiding_replacement< Builder, Derived, Substitution >::add_capture_avoiding_replacement ( capture_avoiding_substitution_updater< Substitution > & sigma_ )

inlineexplicit

Definition at line 143 of file replace_capture_avoiding.h.

Member Function Documentation

◆ apply() [1/7]

template<template< class > class Builder, class Derived , class Substitution >

template<class T >

void mcrl2::data::detail::add_capture_avoiding_replacement< Builder, Derived, Substitution >::apply	(	atermpp::term_list< T > &	result,
		const assignment_list &	x
	)