mCRL2
Loading...
Searching...
No Matches
mcrl2::data::detail::enumerator_replace_builder Struct Reference

#include <enumerator_substitution.h>

Inheritance diagram for mcrl2::data::detail::enumerator_replace_builder:
mcrl2::data::data_expression_builder< enumerator_replace_builder > mcrl2::data::add_data_expressions< Builder, Derived >

Public Types

typedef data_expression_builder< enumerator_replace_buildersuper
 
- Public Types inherited from mcrl2::data::add_data_expressions< Builder, Derived >
typedef Builder< Derived > super
 

Public Member Functions

 enumerator_replace_builder (const variable_list::const_iterator variables_begin, const variable_list::const_iterator variables_end, const data_expression_list::const_iterator expressions_begin)
 
template<class T >
void apply (T &result, const variable &x)
 
- Public Member Functions inherited from mcrl2::data::add_data_expressions< Builder, Derived >
template<class T >
void apply (T &result, const data::variable &x)
 
template<class T >
void apply (T &result, const data::function_symbol &x)
 
template<class T >
void apply (T &result, const data::application &x)
 
template<class T >
void apply (T &result, const data::where_clause &x)
 
template<class T >
void apply (T &result, const data::machine_number &x)
 
template<class T >
void apply (T &result, const data::untyped_identifier &x)
 
template<class T >
void apply (T &result, const data::assignment &x)
 
template<class T >
void apply (T &result, const data::untyped_identifier_assignment &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 &result, const data::set_comprehension &x)
 
template<class T >
void apply (T &result, const data::bag_comprehension &x)
 
template<class T >
void apply (T &result, const data::untyped_set_or_bag_comprehension &x)
 
template<class T >
void apply (T &result, const data::data_equation &x)
 
template<class T >
void apply (T &result, const data::untyped_data_parameter &x)
 
template<class T >
void apply (T &result, const data::data_expression &x)
 
template<class T >
void apply (T &result, const data::assignment_expression &x)
 
template<class T >
void apply (T &result, const data::abstraction &x)
 

Public Attributes

const variable_list::const_iterator m_vars_begin
 
const variable_list::const_iterator m_vars_end
 
const data_expression_list::const_iterator m_expressions_begin
 

Detailed Description

Definition at line 31 of file enumerator_substitution.h.

Member Typedef Documentation

◆ super

Constructor & Destructor Documentation

◆ enumerator_replace_builder()

mcrl2::data::detail::enumerator_replace_builder::enumerator_replace_builder ( const variable_list::const_iterator  variables_begin,
const variable_list::const_iterator  variables_end,
const data_expression_list::const_iterator  expressions_begin 
)
inline

Definition at line 43 of file enumerator_substitution.h.

Member Function Documentation

◆ apply()

template<class T >
void mcrl2::data::detail::enumerator_replace_builder::apply ( T &  result,
const variable x 
)
inline

Definition at line 52 of file enumerator_substitution.h.

Member Data Documentation

◆ m_expressions_begin

const data_expression_list::const_iterator mcrl2::data::detail::enumerator_replace_builder::m_expressions_begin

Definition at line 41 of file enumerator_substitution.h.

◆ m_vars_begin

const variable_list::const_iterator mcrl2::data::detail::enumerator_replace_builder::m_vars_begin

Definition at line 39 of file enumerator_substitution.h.

◆ m_vars_end

const variable_list::const_iterator mcrl2::data::detail::enumerator_replace_builder::m_vars_end

Definition at line 40 of file enumerator_substitution.h.


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