mCRL2
Loading...
Searching...
No Matches
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_generatorid_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 27 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 33 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 38 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 59 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 81 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 46 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 73 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 30 of file replace_capture_avoiding.h.

◆ sigma

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

Definition at line 29 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 31 of file replace_capture_avoiding.h.


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