mcrl2::lps::detail::add_capture_avoiding_replacement_with_an_identifier_generator< Builder, Derived, Substitution, IdentifierGenerator > Struct Template Reference

#include <replace_capture_avoiding_with_an_identifier_generator.h>

Inheritance diagram for mcrl2::lps::detail::add_capture_avoiding_replacement_with_an_identifier_generator< Builder, Derived, Substitution, IdentifierGenerator >:

Public Types
typedef process::detail::add_capture_avoiding_replacement_with_an_identifier_generator< Builder, Derived, Substitution, IdentifierGenerator >	super
Public Types inherited from mcrl2::process::detail::add_capture_avoiding_replacement_with_an_identifier_generator< Builder, Derived, Substitution, IdentifierGenerator >
typedef data::detail::add_capture_avoiding_replacement_with_an_identifier_generator< Builder, Derived, Substitution, IdentifierGenerator >	super
Public Types inherited from mcrl2::data::detail::add_capture_avoiding_replacement_with_an_identifier_generator< Builder, Derived, Substitution, IdentifierGenerator >
typedef Builder< Derived >	super

Public Member Functions
	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)
Public Member Functions inherited from mcrl2::process::detail::add_capture_avoiding_replacement_with_an_identifier_generator< Builder, Derived, Substitution, IdentifierGenerator >
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 &)
Public Member Functions inherited from mcrl2::data::detail::add_capture_avoiding_replacement_with_an_identifier_generator< Builder, Derived, Substitution, IdentifierGenerator >
	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 &)

Additional Inherited Members
Public Attributes inherited from mcrl2::process::detail::add_capture_avoiding_replacement_with_an_identifier_generator< Builder, Derived, Substitution, IdentifierGenerator >
substitution_updater_with_an_identifier_generator< Substitution, IdentifierGenerator >	update_sigma
Protected Attributes inherited from mcrl2::data::detail::add_capture_avoiding_replacement_with_an_identifier_generator< Builder, Derived, Substitution, IdentifierGenerator >
substitution_updater_with_an_identifier_generator< Substitution, IdentifierGenerator >	update_sigma

Detailed Description

template<template< class > class Builder, class Derived, class Substitution, class IdentifierGenerator>
struct mcrl2::lps::detail::add_capture_avoiding_replacement_with_an_identifier_generator< Builder, Derived, Substitution, IdentifierGenerator >

Definition at line 28 of file replace_capture_avoiding_with_an_identifier_generator.h.

Member Typedef Documentation

super

template<template< class > class Builder, class Derived , class Substitution , class IdentifierGenerator >

typedef process::detail::add_capture_avoiding_replacement_with_an_identifier_generator<Builder, Derived, Substitution, IdentifierGenerator> mcrl2::lps::detail::add_capture_avoiding_replacement_with_an_identifier_generator< Builder, Derived, Substitution, IdentifierGenerator >::super

Definition at line 31 of file replace_capture_avoiding_with_an_identifier_generator.h.

Constructor & Destructor Documentation

add_capture_avoiding_replacement_with_an_identifier_generator()

template<template< class > class Builder, class Derived , class Substitution , class IdentifierGenerator >

mcrl2::lps::detail::add_capture_avoiding_replacement_with_an_identifier_generator< Builder, Derived, Substitution, IdentifierGenerator >::add_capture_avoiding_replacement_with_an_identifier_generator ( Substitution &  sigma, IdentifierGenerator &  id_generator  )

inline

Definition at line 38 of file replace_capture_avoiding_with_an_identifier_generator.h.

Member Function Documentation

apply() [1/4]

template<template< class > class Builder, class Derived , class Substitution , class IdentifierGenerator >

stochastic_distribution mcrl2::lps::detail::add_capture_avoiding_replacement_with_an_identifier_generator< Builder, Derived, Substitution, IdentifierGenerator >::apply ( stochastic_distribution &  x )

inline

Definition at line 117 of file replace_capture_avoiding_with_an_identifier_generator.h.

apply() [2/4]

template<template< class > class Builder, class Derived , class Substitution , class IdentifierGenerator >

template<class T >

void mcrl2::process::detail::add_capture_avoiding_replacement_with_an_identifier_generator< Builder, Derived, Substitution, IdentifierGenerator >::apply ( T &  result, const process::process_instance_assignment &  x  )

inline

Definition at line 53 of file replace_capture_avoiding_with_an_identifier_generator.h.

apply() [3/4]

template<template< class > class Builder, class Derived , class Substitution , class IdentifierGenerator >

template<class T >

void mcrl2::process::detail::add_capture_avoiding_replacement_with_an_identifier_generator< Builder, Derived, Substitution, IdentifierGenerator >::apply ( T &  result, const stochastic_operator &  x  )

inline

Definition at line 93 of file replace_capture_avoiding_with_an_identifier_generator.h.

apply() [4/4]

template<template< class > class Builder, class Derived , class Substitution , class IdentifierGenerator >

template<class T >

void mcrl2::process::detail::add_capture_avoiding_replacement_with_an_identifier_generator< Builder, Derived, Substitution, IdentifierGenerator >::apply ( T &  result, const sum &  x  )

inline

Definition at line 83 of file replace_capture_avoiding_with_an_identifier_generator.h.

do_action_summand()

template<template< class > class Builder, class Derived , class Substitution , class IdentifierGenerator >

template<typename ActionSummand >

void mcrl2::lps::detail::add_capture_avoiding_replacement_with_an_identifier_generator< Builder, Derived, Substitution, IdentifierGenerator >::do_action_summand ( ActionSummand &  x, const data::variable_list &  v  )

inline

Definition at line 44 of file replace_capture_avoiding_with_an_identifier_generator.h.

do_linear_process()

template<template< class > class Builder, class Derived , class Substitution , class IdentifierGenerator >

template<typename LinearProcess >

void mcrl2::lps::detail::add_capture_avoiding_replacement_with_an_identifier_generator< Builder, Derived, Substitution, IdentifierGenerator >::do_linear_process ( LinearProcess &  x )

inline

Definition at line 77 of file replace_capture_avoiding_with_an_identifier_generator.h.

do_specification()

template<template< class > class Builder, class Derived , class Substitution , class IdentifierGenerator >

template<typename Specification >

void mcrl2::lps::detail::add_capture_avoiding_replacement_with_an_identifier_generator< Builder, Derived, Substitution, IdentifierGenerator >::do_specification ( Specification &  x )

inline

Definition at line 97 of file replace_capture_avoiding_with_an_identifier_generator.h.

operator()() [1/2]

template<template< class > class Builder, class Derived , class Substitution , class IdentifierGenerator >

void mcrl2::lps::detail::add_capture_avoiding_replacement_with_an_identifier_generator< Builder, Derived, Substitution, IdentifierGenerator >::operator() ( specification &  x )

inline

Definition at line 107 of file replace_capture_avoiding_with_an_identifier_generator.h.

operator()() [2/2]

template<template< class > class Builder, class Derived , class Substitution , class IdentifierGenerator >

void mcrl2::lps::detail::add_capture_avoiding_replacement_with_an_identifier_generator< Builder, Derived, Substitution, IdentifierGenerator >::operator() ( stochastic_specification &  x )

inline

Definition at line 112 of file replace_capture_avoiding_with_an_identifier_generator.h.

update() [1/5]

template<template< class > class Builder, class Derived , class Substitution , class IdentifierGenerator >

void mcrl2::lps::detail::add_capture_avoiding_replacement_with_an_identifier_generator< Builder, Derived, Substitution, IdentifierGenerator >::update ( action_summand &  x )

inline

Definition at line 52 of file replace_capture_avoiding_with_an_identifier_generator.h.

update() [2/5]

template<template< class > class Builder, class Derived , class Substitution , class IdentifierGenerator >

void mcrl2::lps::detail::add_capture_avoiding_replacement_with_an_identifier_generator< Builder, Derived, Substitution, IdentifierGenerator >::update ( deadlock_summand &  x )

inline

Definition at line 67 of file replace_capture_avoiding_with_an_identifier_generator.h.

update() [3/5]

template<template< class > class Builder, class Derived , class Substitution , class IdentifierGenerator >

void mcrl2::lps::detail::add_capture_avoiding_replacement_with_an_identifier_generator< Builder, Derived, Substitution, IdentifierGenerator >::update ( linear_process &  x )

inline

Definition at line 86 of file replace_capture_avoiding_with_an_identifier_generator.h.

update() [4/5]

template<template< class > class Builder, class Derived , class Substitution , class IdentifierGenerator >

void mcrl2::lps::detail::add_capture_avoiding_replacement_with_an_identifier_generator< Builder, Derived, Substitution, IdentifierGenerator >::update ( stochastic_action_summand &  x )

inline

Definition at line 59 of file replace_capture_avoiding_with_an_identifier_generator.h.

update() [5/5]

template<template< class > class Builder, class Derived , class Substitution , class IdentifierGenerator >

void mcrl2::lps::detail::add_capture_avoiding_replacement_with_an_identifier_generator< Builder, Derived, Substitution, IdentifierGenerator >::update ( stochastic_linear_process &  x )

inline

Definition at line 91 of file replace_capture_avoiding_with_an_identifier_generator.h.

---

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

• lps/include/mcrl2/lps/replace_capture_avoiding_with_an_identifier_generator.h