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
using	super = Binder< Builder, replace_capture_avoiding_variables_builder< Builder, Binder, Substitution >, Substitution >

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 111 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 >

using mcrl2::data::detail::replace_capture_avoiding_variables_builder< Builder, Binder, Substitution >::super = Binder<Builder, replace_capture_avoiding_variables_builder<Builder, Binder, Substitution>, Substitution>

Definition at line 113 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 120 of file replace_capture_avoiding.h.

---

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

• data/include/mcrl2/data/replace_capture_avoiding.h