Loading...
Searching...
No Matches
mcrl2::pbes_system::detail::add_capture_avoiding_replacement< Builder, Derived, Substitution > Struct Template Reference
#include <replace_capture_avoiding.h>
Inheritance diagram for mcrl2::pbes_system::detail::add_capture_avoiding_replacement< Builder, Derived, Substitution >:
Public Types | |
| using | super = data::detail::add_capture_avoiding_replacement< Builder, Derived, Substitution > |
 Public Types inherited from mcrl2::data::detail::add_capture_avoiding_replacement< Builder, Derived, Substitution > | |
| using | super = Builder< Derived > |
Public Member Functions | |
| add_capture_avoiding_replacement (data::detail::capture_avoiding_substitution_updater< Substitution > &sigma) | |
| 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) |
| template<class T > | |
| void | apply (atermpp::term_list< T > &result, const assignment_list &x) |
| 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< Builder, Derived, Substitution > | |
| add_capture_avoiding_replacement (capture_avoiding_substitution_updater< Substitution > &sigma_) | |
| template<class T > | |
| void | apply (atermpp::term_list< T > &result, const assignment_list &x) |
| 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 | |
| capture_avoiding_substitution_updater< Substitution > & | sigma |
| Public Attributes inherited from mcrl2::data::detail::add_capture_avoiding_replacement< Builder, Derived, Substitution > | |
| capture_avoiding_substitution_updater< Substitution > & | sigma |
Detailed Description
template<template< class > class Builder, class Derived, class Substitution>
struct mcrl2::pbes_system::detail::add_capture_avoiding_replacement< Builder, Derived, Substitution >
struct mcrl2::pbes_system::detail::add_capture_avoiding_replacement< Builder, Derived, Substitution >
Definition at line 26 of file replace_capture_avoiding.h.
Member Typedef Documentation
◆ super
template<template< class > class Builder, class Derived , class Substitution >
| using mcrl2::pbes_system::detail::add_capture_avoiding_replacement< Builder, Derived, Substitution >::super = data::detail::add_capture_avoiding_replacement<Builder, Derived, Substitution> |
Definition at line 29 of file replace_capture_avoiding.h.
Constructor & Destructor Documentation
◆ add_capture_avoiding_replacement()
template<template< class > class Builder, class Derived , class Substitution >
|
inlineexplicit |
Definition at line 36 of file replace_capture_avoiding.h.
Member Function Documentation
◆ apply() [1/9]
template<template< class > class Builder, class Derived , class Substitution >
template<class T >
|
inline |
Definition at line 149 of file replace_capture_avoiding.h.
◆ apply() [2/9]
template<template< class > class Builder, class Derived , class Substitution >
template<class T >
|
inline |
Definition at line 229 of file replace_capture_avoiding.h.
◆ apply() [3/9]
template<template< class > class Builder, class Derived , class Substitution >
template<class T >
|
inline |
Definition at line 209 of file replace_capture_avoiding.h.
◆ apply() [4/9]
template<template< class > class Builder, class Derived , class Substitution >
template<class T >
|
inline |
Definition at line 199 of file replace_capture_avoiding.h.
◆ apply() [5/9]
template<template< class > class Builder, class Derived , class Substitution >
template<class T >
|
inline |
Definition at line 219 of file replace_capture_avoiding.h.
◆ apply() [6/9]
template<template< class > class Builder, class Derived , class Substitution >
template<class T >
|
inline |
Definition at line 168 of file replace_capture_avoiding.h.
◆ apply() [7/9]
template<template< class > class Builder, class Derived , class Substitution >
template<class T >
|
inline |
Definition at line 51 of file replace_capture_avoiding.h.
◆ apply() [8/9]
template<template< class > class Builder, class Derived , class Substitution >
template<class T >
|
inline |
Definition at line 41 of file replace_capture_avoiding.h.
◆ apply() [9/9]
template<template< class > class Builder, class Derived , class Substitution >
template<class T >
|
inline |
Definition at line 162 of file replace_capture_avoiding.h.
◆ update() [1/2]
template<template< class > class Builder, class Derived , class Substitution >
|
inline |
Definition at line 70 of file replace_capture_avoiding.h.
◆ update() [2/2]
template<template< class > class Builder, class Derived , class Substitution >
|
inline |
Definition at line 60 of file replace_capture_avoiding.h.
Member Data Documentation
◆ sigma
template<template< class > class Builder, class Derived , class Substitution >
| capture_avoiding_substitution_updater<Substitution>& mcrl2::data::detail::add_capture_avoiding_replacement< Builder, Derived, Substitution >::sigma |
Definition at line 141 of file replace_capture_avoiding.h.
The documentation for this struct was generated from the following file:
- pbes/include/mcrl2/pbes/replace_capture_avoiding.h
