mCRL2
Loading...
Searching...
No Matches
mcrl2::regular_formulas::detail::add_capture_avoiding_replacement< Builder, Derived, Substitution > Struct Template Reference

#include <replace_capture_avoiding.h>

Inheritance diagram for mcrl2::regular_formulas::detail::add_capture_avoiding_replacement< Builder, Derived, Substitution >:
mcrl2::action_formulas::detail::add_capture_avoiding_replacement< Builder, Derived, Substitution > mcrl2::lps::detail::add_capture_avoiding_replacement< Builder, Derived, Substitution > mcrl2::process::detail::add_capture_avoiding_replacement< Builder, Derived, Substitution > mcrl2::data::detail::add_capture_avoiding_replacement< Builder, Derived, Substitution >

Public Types

typedef action_formulas::detail::add_capture_avoiding_replacement< Builder, Derived, Substitution > super
 
- Public Types inherited from mcrl2::action_formulas::detail::add_capture_avoiding_replacement< Builder, Derived, Substitution >
typedef lps::detail::add_capture_avoiding_replacement< Builder, Derived, Substitution > super
 
- Public Types inherited from mcrl2::lps::detail::add_capture_avoiding_replacement< Builder, Derived, Substitution >
typedef process::detail::add_capture_avoiding_replacement< Builder, Derived, Substitution > super
 
- Public Types inherited from mcrl2::process::detail::add_capture_avoiding_replacement< Builder, Derived, Substitution >
typedef data::detail::add_capture_avoiding_replacement< Builder, Derived, Substitution > super
 
- Public Types inherited from mcrl2::data::detail::add_capture_avoiding_replacement< Builder, Derived, Substitution >
typedef Builder< Derived > super
 

Public Member Functions

 add_capture_avoiding_replacement (data::detail::capture_avoiding_substitution_updater< Substitution > &sigma)
 
void update (action_summand &x)
 
void update (stochastic_action_summand &x)
 
void update (deadlock_summand &x)
 
void update (linear_process &x)
 
void update (stochastic_linear_process &x)
 
template<class T >
void apply (T &result, const forall &x)
 
template<class T >
void apply (T &result, const exists &x)
 
template<class T >
void apply (T &, const stochastic_distribution &)
 
template<class T >
void apply (T &result, const stochastic_distribution &x, data::assignment_list &assignments)
 In the code below, it is essential that the assignments are also updated. They are passed by reference and changed in place.
 
template<class T >
void apply (T &result, const stochastic_distribution &x, data::data_expression_list &pars)
 In the code below, it is essential that the assignments are also updated. They are passed by reference and changed in place.
 
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)
 
- Public Member Functions inherited from mcrl2::action_formulas::detail::add_capture_avoiding_replacement< Builder, Derived, Substitution >
 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 (action_summand &x)
 
void update (stochastic_action_summand &x)
 
void update (deadlock_summand &x)
 
void update (linear_process &x)
 
void update (stochastic_linear_process &x)
 
template<class T >
void apply (T &, const stochastic_distribution &)
 
template<class T >
void apply (T &result, const stochastic_distribution &x, data::assignment_list &assignments)
 In the code below, it is essential that the assignments are also updated. They are passed by reference and changed in place.
 
template<class T >
void apply (T &result, const stochastic_distribution &x, data::data_expression_list &pars)
 In the code below, it is essential that the assignments are also updated. They are passed by reference and changed in place.
 
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)
 
- Public Member Functions inherited from mcrl2::lps::detail::add_capture_avoiding_replacement< Builder, Derived, Substitution >
 add_capture_avoiding_replacement (data::detail::capture_avoiding_substitution_updater< Substitution > &sigma)
 
template<typename ActionSummand >
void do_action_summand (ActionSummand &x, const data::variable_list &v)
 
void update (action_summand &x)
 
void update (stochastic_action_summand &x)
 
void update (deadlock_summand &x)
 
template<typename LinearProcess >
void do_linear_process (LinearProcess &x)
 
void update (linear_process &x)
 
void update (stochastic_linear_process &x)
 
template<typename Specification >
void do_specification (Specification &x)
 
void operator() (specification &x)
 
void operator() (stochastic_specification &x)
 
template<class T >
void apply (T &, const stochastic_distribution &)
 
template<class T >
void apply (T &result, const stochastic_distribution &x, data::assignment_list &assignments)
 In the code below, it is essential that the assignments are also updated. They are passed by reference and changed in place.
 
template<class T >
void apply (T &result, const stochastic_distribution &x, data::data_expression_list &pars)
 In the code below, it is essential that the assignments are also updated. They are passed by reference and changed in place.
 
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)
 
- Public Member Functions inherited from mcrl2::process::detail::add_capture_avoiding_replacement< Builder, Derived, Substitution >
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 &)
 

Additional Inherited Members

- Public Attributes inherited from mcrl2::process::detail::add_capture_avoiding_replacement< Builder, Derived, Substitution >
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::regular_formulas::detail::add_capture_avoiding_replacement< Builder, Derived, Substitution >

Definition at line 143 of file replace_capture_avoiding.h.

Member Typedef Documentation

◆ super

template<template< class > class Builder, class Derived , class Substitution >
typedef action_formulas::detail::add_capture_avoiding_replacement<Builder, Derived, Substitution> mcrl2::regular_formulas::detail::add_capture_avoiding_replacement< Builder, Derived, Substitution >::super

Definition at line 145 of file replace_capture_avoiding.h.

Constructor & Destructor Documentation

◆ add_capture_avoiding_replacement()

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

Definition at line 152 of file replace_capture_avoiding.h.

Member Function Documentation

◆ apply() [1/8]

template<template< class > class Builder, class Derived , class Substitution >
template<class T >
void mcrl2::lps::detail::add_capture_avoiding_replacement< Builder, Derived, Substitution >::apply ( T &  ,
const stochastic_distribution &   
)
inline

Definition at line 32 of file replace_capture_avoiding.h.

◆ apply() [2/8]

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

Definition at line 50 of file replace_capture_avoiding.h.

◆ apply() [3/8]

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

Definition at line 40 of file replace_capture_avoiding.h.

◆ apply() [4/8]

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 32 of file replace_capture_avoiding.h.

◆ apply() [5/8]

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

In the code below, it is essential that the assignments are also updated. They are passed by reference and changed in place.

Definition at line 32 of file replace_capture_avoiding.h.

◆ apply() [6/8]

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

In the code below, it is essential that the assignments are also updated. They are passed by reference and changed in place.

Definition at line 32 of file replace_capture_avoiding.h.

◆ apply() [7/8]

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 32 of file replace_capture_avoiding.h.

◆ apply() [8/8]

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 32 of file replace_capture_avoiding.h.

◆ update() [1/5]

template<template< class > class Builder, class Derived , class Substitution >
void mcrl2::lps::detail::add_capture_avoiding_replacement< Builder, Derived, Substitution >::update ( action_summand &  x)
inline

Definition at line 31 of file replace_capture_avoiding.h.

◆ update() [2/5]

template<template< class > class Builder, class Derived , class Substitution >
void mcrl2::lps::detail::add_capture_avoiding_replacement< Builder, Derived, Substitution >::update ( deadlock_summand &  x)
inline

Definition at line 31 of file replace_capture_avoiding.h.

◆ update() [3/5]

template<template< class > class Builder, class Derived , class Substitution >
void mcrl2::lps::detail::add_capture_avoiding_replacement< Builder, Derived, Substitution >::update ( linear_process &  x)
inline

Definition at line 31 of file replace_capture_avoiding.h.

◆ update() [4/5]

template<template< class > class Builder, class Derived , class Substitution >
void mcrl2::lps::detail::add_capture_avoiding_replacement< Builder, Derived, Substitution >::update ( stochastic_action_summand &  x)
inline

Definition at line 31 of file replace_capture_avoiding.h.

◆ update() [5/5]

template<template< class > class Builder, class Derived , class Substitution >
void mcrl2::lps::detail::add_capture_avoiding_replacement< Builder, Derived, Substitution >::update ( stochastic_linear_process &  x)
inline

Definition at line 31 of file replace_capture_avoiding.h.


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