mCRL2
Loading...
Searching...
No Matches
mcrl2::data::detail::replace_capture_avoiding_variables_builder< Builder, Binder, Substitution > Struct Template Reference

#include <replace_capture_avoiding.h>

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

Public Types

typedef Binder< Builder, replace_capture_avoiding_variables_builder< Builder, Binder, Substitution >, Substitution > super
 

Public Member Functions

 replace_capture_avoiding_variables_builder (capture_avoiding_substitution_updater< Substitution > &sigma)
 

Detailed Description

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

Definition at line 107 of file replace_capture_avoiding.h.

Member Typedef Documentation

◆ super

template<template< class > class Builder, template< template< class > class, class, class > class Binder, class Substitution >
typedef Binder<Builder, replace_capture_avoiding_variables_builder<Builder, Binder, Substitution>, Substitution> mcrl2::data::detail::replace_capture_avoiding_variables_builder< Builder, Binder, Substitution >::super

Definition at line 109 of file replace_capture_avoiding.h.

Constructor & Destructor Documentation

◆ replace_capture_avoiding_variables_builder()

template<template< class > class Builder, template< template< class > class, class, class > class Binder, class Substitution >
mcrl2::data::detail::replace_capture_avoiding_variables_builder< Builder, Binder, Substitution >::replace_capture_avoiding_variables_builder ( capture_avoiding_substitution_updater< Substitution > &  sigma)
inlineexplicit

Definition at line 115 of file replace_capture_avoiding.h.


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