mCRL2: mcrl2::pbes_system::detail::add_capture_avoiding_replacement_with_an_identifier_generator< Builder, Derived, Substitution, IdentifierGenerator > Struct Template Reference

mCRL2

Loading...

Searching...

No Matches

#include <replace_capture_avoiding_with_an_identifier_generator.h>

Inheritance diagram for mcrl2::pbes_system::detail::add_capture_avoiding_replacement_with_an_identifier_generator< Builder, Derived, Substitution, IdentifierGenerator >:

Public Types
using	super = data::detail::add_capture_avoiding_replacement_with_an_identifier_generator< Builder, Derived, Substitution, IdentifierGenerator >

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

Public Member Functions
template<class T >
void	apply (T &result, const forall &x)

template<class T >
void	apply (T &result, const exists &x)

void	update (pbes_equation &x)

void	update (pbes &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::pbes_system::detail::add_capture_avoiding_replacement_with_an_identifier_generator< Builder, Derived, Substitution, IdentifierGenerator >

Definition at line 27 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 >

using mcrl2::pbes_system::detail::add_capture_avoiding_replacement_with_an_identifier_generator< Builder, Derived, Substitution, IdentifierGenerator >::super = data::detail::add_capture_avoiding_replacement_with_an_identifier_generator<Builder, Derived, Substitution, IdentifierGenerator>

Definition at line 30 of file replace_capture_avoiding_with_an_identifier_generator.h.

Constructor & Destructor Documentation

◆ add_capture_avoiding_replacement_with_an_identifier_generator()

template<template< class > class Builder, class Derived , class Substitution , class IdentifierGenerator >

mcrl2::pbes_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

Definition at line 78 of file replace_capture_avoiding_with_an_identifier_generator.h.

Member Function Documentation

◆ apply() [1/8]

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

Definition at line 261 of file replace_capture_avoiding_with_an_identifier_generator.h.

◆ apply() [2/8]

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

Definition at line 241 of file replace_capture_avoiding_with_an_identifier_generator.h.

◆ apply() [3/8]

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

Definition at line 231 of file replace_capture_avoiding_with_an_identifier_generator.h.

◆ apply() [4/8]

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

Definition at line 251 of file replace_capture_avoiding_with_an_identifier_generator.h.

◆ apply() [5/8]

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

Definition at line 203 of file replace_capture_avoiding_with_an_identifier_generator.h.

◆ apply() [6/8]

template<template< class > class Builder, class Derived , class Substitution , class IdentifierGenerator >

template<class T >

void mcrl2::pbes_system::detail::add_capture_avoiding_replacement_with_an_identifier_generator< Builder, Derived, Substitution, IdentifierGenerator >::apply	(	T &	result,
		const exists &	x
	)

inline

Definition at line 51 of file replace_capture_avoiding_with_an_identifier_generator.h.

◆ apply() [7/8]

template<template< class > class Builder, class Derived , class Substitution , class IdentifierGenerator >

template<class T >

void mcrl2::pbes_system::detail::add_capture_avoiding_replacement_with_an_identifier_generator< Builder, Derived, Substitution, IdentifierGenerator >::apply	(	T &	result,
		const forall &	x
	)

inline

Definition at line 41 of file replace_capture_avoiding_with_an_identifier_generator.h.

◆ apply() [8/8]

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

Definition at line 197 of file replace_capture_avoiding_with_an_identifier_generator.h.

◆ update() [1/2]

template<template< class > class Builder, class Derived , class Substitution , class IdentifierGenerator >

void mcrl2::pbes_system::detail::add_capture_avoiding_replacement_with_an_identifier_generator< Builder, Derived, Substitution, IdentifierGenerator >::update ( pbes & x )

inline

Definition at line 70 of file replace_capture_avoiding_with_an_identifier_generator.h.

◆ update() [2/2]

template<template< class > class Builder, class Derived , class Substitution , class IdentifierGenerator >

void mcrl2::pbes_system::detail::add_capture_avoiding_replacement_with_an_identifier_generator< Builder, Derived, Substitution, IdentifierGenerator >::update ( pbes_equation & x )

inline

Definition at line 60 of file replace_capture_avoiding_with_an_identifier_generator.h.

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

Definition at line 188 of file replace_capture_avoiding_with_an_identifier_generator.h.

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

pbes/include/mcrl2/pbes/replace_capture_avoiding_with_an_identifier_generator.h

mcrl2
pbes_system
detail
add_capture_avoiding_replacement_with_an_identifier_generator
Generated by 1.9.7