mCRL2
Loading...
Searching...
No Matches
Public Types | Public Member Functions | List of all members
mcrl2::data::detail::replace_capture_avoiding_variables_builder_with_an_identifier_generator< Builder, Binder, Substitution, IdentifierGenerator > Struct Template Reference

#include <replace_capture_avoiding_with_an_identifier_generator.h>

Inheritance diagram for mcrl2::data::detail::replace_capture_avoiding_variables_builder_with_an_identifier_generator< Builder, Binder, Substitution, IdentifierGenerator >:

Public Types

using super = Binder< Builder, replace_capture_avoiding_variables_builder_with_an_identifier_generator< Builder, Binder, Substitution, IdentifierGenerator >, Substitution, IdentifierGenerator >
 

Public Member Functions

 replace_capture_avoiding_variables_builder_with_an_identifier_generator (Substitution &sigma, IdentifierGenerator &id_generator)
 

Detailed Description

template<template< class > class Builder, template< template< class > class, class, class, class > class Binder, class Substitution, class IdentifierGenerator>
struct mcrl2::data::detail::replace_capture_avoiding_variables_builder_with_an_identifier_generator< Builder, Binder, Substitution, IdentifierGenerator >

Definition at line 141 of file replace_capture_avoiding_with_an_identifier_generator.h.

Member Typedef Documentation

◆ super

template<template< class > class Builder, template< template< class > class, class, class, class > class Binder, class Substitution , class IdentifierGenerator >
using mcrl2::data::detail::replace_capture_avoiding_variables_builder_with_an_identifier_generator< Builder, Binder, Substitution, IdentifierGenerator >::super = Binder<Builder, replace_capture_avoiding_variables_builder_with_an_identifier_generator<Builder, Binder, Substitution, IdentifierGenerator>, Substitution, IdentifierGenerator>

Definition at line 144 of file replace_capture_avoiding_with_an_identifier_generator.h.

Constructor & Destructor Documentation

◆ replace_capture_avoiding_variables_builder_with_an_identifier_generator()

template<template< class > class Builder, template< template< class > class, class, class, class > class Binder, class Substitution , class IdentifierGenerator >
mcrl2::data::detail::replace_capture_avoiding_variables_builder_with_an_identifier_generator< Builder, Binder, Substitution, IdentifierGenerator >::replace_capture_avoiding_variables_builder_with_an_identifier_generator ( Substitution &  sigma,
IdentifierGenerator &  id_generator 
)
inline

Definition at line 156 of file replace_capture_avoiding_with_an_identifier_generator.h.

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