mcrl2::data::detail::capture_avoiding_substitution_updater< Substitution > Struct Template Reference

#include <replace_capture_avoiding.h>

Public Member Functions
	capture_avoiding_substitution_updater (Substitution &sigma_, data::set_identifier_generator &id_generator_)
variable	add_fresh_variable_assignment (const variable &v)
void	remove_fresh_variable_assignment (const variable &v)
template<typename VariableContainer >
variable_list	add_fresh_variable_assignments (const VariableContainer &variables)
template<typename VariableContainer >
void	remove_fresh_variable_assignments (const VariableContainer &variables)
data_expression	operator() (const variable &x)

Public Attributes
Substitution &	sigma
data::set_identifier_generator &	id_generator
std::map< variable, std::list< variable > >	updates

Detailed Description

template<typename Substitution>
struct mcrl2::data::detail::capture_avoiding_substitution_updater< Substitution >

Definition at line 31 of file replace_capture_avoiding.h.

Constructor & Destructor Documentation

capture_avoiding_substitution_updater()

template<typename Substitution >

mcrl2::data::detail::capture_avoiding_substitution_updater< Substitution >::capture_avoiding_substitution_updater ( Substitution &  sigma_, data::set_identifier_generator &  id_generator_  )

inline

Definition at line 37 of file replace_capture_avoiding.h.

Member Function Documentation

add_fresh_variable_assignment()

template<typename Substitution >

variable mcrl2::data::detail::capture_avoiding_substitution_updater< Substitution >::add_fresh_variable_assignment ( const variable &  v )

inline

Definition at line 42 of file replace_capture_avoiding.h.

add_fresh_variable_assignments()

template<typename Substitution >

template<typename VariableContainer >

variable_list mcrl2::data::detail::capture_avoiding_substitution_updater< Substitution >::add_fresh_variable_assignments ( const VariableContainer &  variables )

inline

Definition at line 63 of file replace_capture_avoiding.h.

operator()()

template<typename Substitution >

data_expression mcrl2::data::detail::capture_avoiding_substitution_updater< Substitution >::operator() ( const variable &  x )

inline

Definition at line 85 of file replace_capture_avoiding.h.

remove_fresh_variable_assignment()

template<typename Substitution >

void mcrl2::data::detail::capture_avoiding_substitution_updater< Substitution >::remove_fresh_variable_assignment ( const variable &  v )

inline

Definition at line 50 of file replace_capture_avoiding.h.

remove_fresh_variable_assignments()

template<typename Substitution >

template<typename VariableContainer >

void mcrl2::data::detail::capture_avoiding_substitution_updater< Substitution >::remove_fresh_variable_assignments ( const VariableContainer &  variables )

inline

Definition at line 77 of file replace_capture_avoiding.h.

Member Data Documentation

id_generator

template<typename Substitution >

data::set_identifier_generator& mcrl2::data::detail::capture_avoiding_substitution_updater< Substitution >::id_generator

Definition at line 34 of file replace_capture_avoiding.h.

sigma

template<typename Substitution >

Substitution& mcrl2::data::detail::capture_avoiding_substitution_updater< Substitution >::sigma

Definition at line 33 of file replace_capture_avoiding.h.

updates

template<typename Substitution >

std::map<variable, std::list<variable> > mcrl2::data::detail::capture_avoiding_substitution_updater< Substitution >::updates

Definition at line 35 of file replace_capture_avoiding.h.

---

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

• data/include/mcrl2/data/replace_capture_avoiding.h