#include <replace_capture_avoiding.h>

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

Public Types
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)

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::lps::detail::add_capture_avoiding_replacement< Builder, Derived, Substitution >

Definition at line 26 of file replace_capture_avoiding.h.

Member Typedef Documentation

◆ super

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

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

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::lps::detail::add_capture_avoiding_replacement< Builder, Derived, Substitution >::add_capture_avoiding_replacement ( data::detail::capture_avoiding_substitution_updater< Substitution > & sigma )

inlineexplicit

Definition at line 35 of file replace_capture_avoiding.h.

Member Function Documentation

◆ apply() [1/6]

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

◆ apply() [2/6]

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

◆ apply() [3/6]

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

◆ apply() [4/6]

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

◆ apply() [5/6]

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

◆ apply() [6/6]

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

◆ do_action_summand()

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

template<typename ActionSummand >

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

inline

Definition at line 40 of file replace_capture_avoiding.h.

◆ do_linear_process()

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

template<typename LinearProcess >

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

inline

Definition at line 91 of file replace_capture_avoiding.h.

◆ do_specification()

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

template<typename Specification >

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

inline

Definition at line 112 of file replace_capture_avoiding.h.

◆ operator()() [1/2]

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

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

inline

Definition at line 132 of file replace_capture_avoiding.h.

◆ operator()() [2/2]

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

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

inline

Definition at line 137 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 56 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 76 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 101 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 64 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 106 of file replace_capture_avoiding.h.

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

lps/include/mcrl2/lps/replace_capture_avoiding.h

Public Types

Public Member Functions

Additional Inherited Members

Detailed Description

Member Typedef Documentation

◆ super

Constructor & Destructor Documentation

◆ add_capture_avoiding_replacement()

Member Function Documentation

◆ apply() [1/6]

◆ apply() [2/6]

◆ apply() [3/6]

◆ apply() [4/6]

◆ apply() [5/6]

◆ apply() [6/6]

◆ do_action_summand()

◆ do_linear_process()

◆ do_specification()

◆ operator()() [1/2]

◆ operator()() [2/2]

◆ update() [1/5]

◆ update() [2/5]

◆ update() [3/5]

◆ update() [4/5]

◆ update() [5/5]