mcrl2::data::detail::add_capture_avoiding_replacement_with_an_identifier_generator< Builder, Derived, Substitution, IdentifierGenerator > Struct Template Reference

#include <replace_capture_avoiding_with_an_identifier_generator.h>

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

Public Types
using	super = Builder< Derived >

Public Member Functions
	add_capture_avoiding_replacement_with_an_identifier_generator (Substitution &sigma_, IdentifierGenerator &id_generator_)
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 &)

Protected Attributes
substitution_updater_with_an_identifier_generator< Substitution, IdentifierGenerator >	update_sigma

Detailed Description

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

Definition at line 179 of file replace_capture_avoiding_with_an_identifier_generator.h.

Member Typedef Documentation

super

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

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

Definition at line 181 of file replace_capture_avoiding_with_an_identifier_generator.h.

Constructor & Destructor Documentation

add_capture_avoiding_replacement_with_an_identifier_generator()

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

mcrl2::data::detail::add_capture_avoiding_replacement_with_an_identifier_generator< Builder, Derived, Substitution, IdentifierGenerator >::add_capture_avoiding_replacement_with_an_identifier_generator ( Substitution &  sigma_, IdentifierGenerator &  id_generator_  )

inline

Definition at line 191 of file replace_capture_avoiding_with_an_identifier_generator.h.

Member Function Documentation

apply() [1/6]

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

template<class T >

void mcrl2::data::detail::add_capture_avoiding_replacement_with_an_identifier_generator< Builder, Derived, Substitution, IdentifierGenerator >::apply ( T &  , data_equation &    )

inline

Definition at line 261 of file replace_capture_avoiding_with_an_identifier_generator.h.

apply() [2/6]

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

template<class T >

void mcrl2::data::detail::add_capture_avoiding_replacement_with_an_identifier_generator< Builder, Derived, Substitution, IdentifierGenerator >::apply ( T &  result, const data::exists &  x  )

inline

Definition at line 241 of file replace_capture_avoiding_with_an_identifier_generator.h.

apply() [3/6]

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

template<class T >

void mcrl2::data::detail::add_capture_avoiding_replacement_with_an_identifier_generator< Builder, Derived, Substitution, IdentifierGenerator >::apply ( T &  result, const data::forall &  x  )

inline

Definition at line 231 of file replace_capture_avoiding_with_an_identifier_generator.h.

apply() [4/6]

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

template<class T >

void mcrl2::data::detail::add_capture_avoiding_replacement_with_an_identifier_generator< Builder, Derived, Substitution, IdentifierGenerator >::apply ( T &  result, const data::lambda &  x  )

inline

Definition at line 251 of file replace_capture_avoiding_with_an_identifier_generator.h.

apply() [5/6]

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

template<class T >

void mcrl2::data::detail::add_capture_avoiding_replacement_with_an_identifier_generator< Builder, Derived, Substitution, IdentifierGenerator >::apply ( T &  result, const data::where_clause &  x  )

inline

Definition at line 203 of file replace_capture_avoiding_with_an_identifier_generator.h.

apply() [6/6]

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

template<class T >

void mcrl2::data::detail::add_capture_avoiding_replacement_with_an_identifier_generator< Builder, Derived, Substitution, IdentifierGenerator >::apply ( T &  result, const variable &  v  )

inline

Definition at line 197 of file replace_capture_avoiding_with_an_identifier_generator.h.

Member Data Documentation

update_sigma

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

substitution_updater_with_an_identifier_generator<Substitution, IdentifierGenerator> mcrl2::data::detail::add_capture_avoiding_replacement_with_an_identifier_generator< Builder, Derived, Substitution, IdentifierGenerator >::update_sigma

protected

Definition at line 188 of file replace_capture_avoiding_with_an_identifier_generator.h.

---

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

• data/include/mcrl2/data/replace_capture_avoiding_with_an_identifier_generator.h