mCRL2
Loading...
Searching...
No Matches
mcrl2::pres_system::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::pres_system::detail::add_capture_avoiding_replacement_with_an_identifier_generator< Builder, Derived, Substitution, IdentifierGenerator >:
mcrl2::data::detail::add_capture_avoiding_replacement_with_an_identifier_generator< Builder, Derived, Substitution, IdentifierGenerator >

Public Types

typedef data::detail::add_capture_avoiding_replacement_with_an_identifier_generator< Builder, Derived, Substitution, IdentifierGenerator > super
 
- Public Types inherited from mcrl2::data::detail::add_capture_avoiding_replacement_with_an_identifier_generator< Builder, Derived, Substitution, IdentifierGenerator >
typedef Builder< Derived > super
 

Public Member Functions

template<class T >
void apply (T &result, const infimum &x)
 
template<class T >
void apply (T &result, const supremum &x)
 
template<class T >
void apply (T &result, const sum &x)
 
void update (pres_equation &x)
 
void update (pres &x)
 
 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 &)
 
- Public Member Functions inherited from 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_)
 
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

substitution_updater_with_an_identifier_generator< Substitution, IdentifierGenerator > update_sigma
 

Additional Inherited Members

- Protected Attributes inherited from mcrl2::data::detail::add_capture_avoiding_replacement_with_an_identifier_generator< Builder, Derived, Substitution, IdentifierGenerator >
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::pres_system::detail::add_capture_avoiding_replacement_with_an_identifier_generator< Builder, Derived, Substitution, IdentifierGenerator >

Definition at line 28 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 >
typedef data::detail::add_capture_avoiding_replacement_with_an_identifier_generator<Builder, Derived, Substitution, IdentifierGenerator> mcrl2::pres_system::detail::add_capture_avoiding_replacement_with_an_identifier_generator< Builder, Derived, Substitution, IdentifierGenerator >::super

Constructor & Destructor Documentation

◆ add_capture_avoiding_replacement_with_an_identifier_generator()

template<template< class > class Builder, class Derived , class Substitution , class IdentifierGenerator >
mcrl2::pres_system::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

Member Function Documentation

◆ apply() [1/9]

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

◆ apply() [2/9]

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

◆ apply() [3/9]

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

◆ apply() [4/9]

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

◆ apply() [5/9]

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

◆ apply() [6/9]

template<template< class > class Builder, class Derived , class Substitution , class IdentifierGenerator >
template<class T >
void mcrl2::pres_system::detail::add_capture_avoiding_replacement_with_an_identifier_generator< Builder, Derived, Substitution, IdentifierGenerator >::apply ( T &  result,
const infimum x 
)
inline

◆ apply() [7/9]

template<template< class > class Builder, class Derived , class Substitution , class IdentifierGenerator >
template<class T >
void mcrl2::pres_system::detail::add_capture_avoiding_replacement_with_an_identifier_generator< Builder, Derived, Substitution, IdentifierGenerator >::apply ( T &  result,
const sum x 
)
inline

◆ apply() [8/9]

template<template< class > class Builder, class Derived , class Substitution , class IdentifierGenerator >
template<class T >
void mcrl2::pres_system::detail::add_capture_avoiding_replacement_with_an_identifier_generator< Builder, Derived, Substitution, IdentifierGenerator >::apply ( T &  result,
const supremum x 
)
inline

◆ apply() [9/9]

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

◆ update() [1/2]

template<template< class > class Builder, class Derived , class Substitution , class IdentifierGenerator >
void mcrl2::pres_system::detail::add_capture_avoiding_replacement_with_an_identifier_generator< Builder, Derived, Substitution, IdentifierGenerator >::update ( pres x)
inline

◆ update() [2/2]

template<template< class > class Builder, class Derived , class Substitution , class IdentifierGenerator >
void mcrl2::pres_system::detail::add_capture_avoiding_replacement_with_an_identifier_generator< Builder, Derived, Substitution, IdentifierGenerator >::update ( pres_equation x)
inline

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

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