Loading...
Searching...
No Matches
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 | |
| typedef Binder< Builder, replace_capture_avoiding_variables_builder_with_an_identifier_generator< Builder, Binder, Substitution, IdentifierGenerator >, Substitution, IdentifierGenerator > | super |
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 >
struct mcrl2::data::detail::replace_capture_avoiding_variables_builder_with_an_identifier_generator< Builder, Binder, Substitution, IdentifierGenerator >
Definition at line 127 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 >
| typedef Binder<Builder, replace_capture_avoiding_variables_builder_with_an_identifier_generator<Builder, Binder, Substitution, IdentifierGenerator>, Substitution, IdentifierGenerator> mcrl2::data::detail::replace_capture_avoiding_variables_builder_with_an_identifier_generator< Builder, Binder, Substitution, IdentifierGenerator >::super |
Definition at line 130 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 >
|
inline |
Definition at line 136 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
