|
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 &) |
|
| 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 &) |
|
template<template< class > class Builder, class Derived, class Substitution>
struct mcrl2::process::detail::add_capture_avoiding_replacement< Builder, Derived, Substitution >
Definition at line 26 of file replace_capture_avoiding.h.