mCRL2
Loading...
Searching...
No Matches
Public Types | Public Member Functions | Public Attributes | List of all members
mcrl2::process::detail::add_capture_avoiding_replacement< Builder, Derived, Substitution > Struct Template Reference

#include <replace_capture_avoiding.h>

Inheritance diagram for mcrl2::process::detail::add_capture_avoiding_replacement< Builder, Derived, Substitution >:
mcrl2::data::detail::add_capture_avoiding_replacement< Builder, Derived, Substitution > mcrl2::lps::detail::add_capture_avoiding_replacement< Builder, Derived, Substitution > mcrl2::action_formulas::detail::add_capture_avoiding_replacement< Builder, Derived, Substitution > mcrl2::regular_formulas::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

data::assignment_list::const_iterator find_variable (const data::assignment_list &a, const data::variable &v) const
 
 add_capture_avoiding_replacement (data::detail::capture_avoiding_substitution_updater< Substitution > &sigma)
 
template<class T >
void apply (T &result, const process::process_instance_assignment &x)
 
template<class T >
void apply (T &result, const sum &x)
 
template<class T >
void apply (T &result, const stochastic_operator &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::process::detail::add_capture_avoiding_replacement< Builder, Derived, Substitution >

Definition at line 25 of file replace_capture_avoiding.h.

Member Typedef Documentation

◆ super

template<template< class > class Builder, class Derived , class Substitution >
using mcrl2::process::detail::add_capture_avoiding_replacement< Builder, Derived, Substitution >::super = data::detail::add_capture_avoiding_replacement<Builder, Derived, Substitution>

Definition at line 28 of file replace_capture_avoiding.h.

Constructor & Destructor Documentation

◆ add_capture_avoiding_replacement()

template<template< class > class Builder, class Derived , class Substitution >
mcrl2::process::detail::add_capture_avoiding_replacement< Builder, Derived, Substitution >::add_capture_avoiding_replacement ( data::detail::capture_avoiding_substitution_updater< Substitution > &  sigma)
inlineexplicit

Definition at line 47 of file replace_capture_avoiding.h.

Member Function Documentation

◆ apply() [1/10]

template<template< class > class Builder, class Derived , class Substitution >
template<class T >
void mcrl2::data::detail::add_capture_avoiding_replacement< Builder, Derived, Substitution >::apply ( atermpp::term_list< T > &  result,
const assignment_list &  x 
)
inline

Definition at line 149 of file replace_capture_avoiding.h.

◆ apply() [2/10]

template<template< class > class Builder, class Derived , class Substitution >
template<class T >
void mcrl2::data::detail::add_capture_avoiding_replacement< Builder, Derived, Substitution >::apply ( T &  ,
data_equation &   
)
inline

Definition at line 229 of file replace_capture_avoiding.h.

◆ apply() [3/10]

template<template< class > class Builder, class Derived , class Substitution >
template<class T >
void mcrl2::data::detail::add_capture_avoiding_replacement< Builder, Derived, Substitution >::apply ( T &  result,
const data::exists &  x 
)
inline

Definition at line 209 of file replace_capture_avoiding.h.

◆ apply() [4/10]

template<template< class > class Builder, class Derived , class Substitution >
template<class T >
void mcrl2::data::detail::add_capture_avoiding_replacement< Builder, Derived, Substitution >::apply ( T &  result,
const data::forall &  x 
)
inline

Definition at line 199 of file replace_capture_avoiding.h.

◆ apply() [5/10]

template<template< class > class Builder, class Derived , class Substitution >
template<class T >
void mcrl2::data::detail::add_capture_avoiding_replacement< Builder, Derived, Substitution >::apply ( T &  result,
const data::lambda &  x 
)
inline

Definition at line 219 of file replace_capture_avoiding.h.

◆ apply() [6/10]

template<template< class > class Builder, class Derived , class Substitution >
template<class T >
void mcrl2::data::detail::add_capture_avoiding_replacement< Builder, Derived, Substitution >::apply ( T &  result,
const data::where_clause &  x 
)
inline

Definition at line 168 of file replace_capture_avoiding.h.

◆ apply() [7/10]

template<template< class > class Builder, class Derived , class Substitution >
template<class T >
void mcrl2::process::detail::add_capture_avoiding_replacement< Builder, Derived, Substitution >::apply ( T &  result,
const process::process_instance_assignment &  x 
)
inline

Definition at line 52 of file replace_capture_avoiding.h.

◆ apply() [8/10]

template<template< class > class Builder, class Derived , class Substitution >
template<class T >
void mcrl2::process::detail::add_capture_avoiding_replacement< Builder, Derived, Substitution >::apply ( T &  result,
const stochastic_operator &  x 
)
inline

Definition at line 92 of file replace_capture_avoiding.h.

◆ apply() [9/10]

template<template< class > class Builder, class Derived , class Substitution >
template<class T >
void mcrl2::process::detail::add_capture_avoiding_replacement< Builder, Derived, Substitution >::apply ( T &  result,
const sum &  x 
)
inline

Definition at line 82 of file replace_capture_avoiding.h.

◆ apply() [10/10]

template<template< class > class Builder, class Derived , class Substitution >
template<class T >
void mcrl2::data::detail::add_capture_avoiding_replacement< Builder, Derived, Substitution >::apply ( T &  result,
const variable &  v 
)
inline

Definition at line 162 of file replace_capture_avoiding.h.

◆ find_variable()

template<template< class > class Builder, class Derived , class Substitution >
data::assignment_list::const_iterator mcrl2::process::detail::add_capture_avoiding_replacement< Builder, Derived, Substitution >::find_variable ( const data::assignment_list &  a,
const data::variable &  v 
) const
inline

Definition at line 35 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: