|
template<class T > |
void | apply (T &result, const forall &x) |
|
template<class T > |
void | apply (T &result, const exists &x) |
|
| add_capture_avoiding_replacement_with_an_identifier_generator (Substitution &sigma, IdentifierGenerator &id_generator) |
|
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) |
|
stochastic_distribution | apply (stochastic_distribution &x) |
|
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) |
|
| add_capture_avoiding_replacement_with_an_identifier_generator (Substitution &sigma, IdentifierGenerator &id_generator) |
|
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) |
|
stochastic_distribution | apply (stochastic_distribution &x) |
|
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) |
|
data::assignment_list::const_iterator | find_variable (const data::assignment_list &a, const data::variable &v) const |
|
| add_capture_avoiding_replacement_with_an_identifier_generator (Substitution &sigma, IdentifierGenerator &id_generator) |
|
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 (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_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 &) |
|
template<template< class > class Builder, class Derived, class Substitution, class IdentifierGenerator>
struct mcrl2::action_formulas::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.