#include <anonymize.h>

Inheritance diagram for mcrl2::data::detail::anonymize_builder< Derived >:

Public Types
typedef data::sort_expression_builder< Derived >	super

Public Types inherited from mcrl2::data::add_sort_expressions< core::builder, Derived >
typedef core::builder< Derived >	super

Public Member Functions
Derived &	derived ()

void	add_name (const core::identifier_string &name, std::map< core::identifier_string, core::identifier_string > &substitution, const std::string &hint)

data_specification	make_data_specification (const basic_sort_vector &user_defined_sorts, const function_symbol_vector &user_defined_constructors, const function_symbol_vector &user_defined_mappings, const alias_vector &user_defined_aliases, const data_equation_vector &user_defined_equations)

void	update (data_specification &x)

void	enter (const variable &x)

template<class T >
void	apply (T &result, const variable &x)

void	enter (const function_symbol &x)

template<class T >
void	apply (T &result, const function_symbol &x)

void	enter (const basic_sort &x)

template<class T >
void	apply (T &result, const basic_sort &x)

void	enter (const structured_sort_constructor &x)

template<class T >
void	apply (T &result, const structured_sort_constructor &x)

void	enter (const structured_sort_constructor_argument &x)

template<class T >
void	apply (T &result, const structured_sort_constructor_argument &x)

template<class T >
void	apply (T &result, const alias &x)

Public Member Functions inherited from mcrl2::data::add_sort_expressions< core::builder, Derived >
void	apply (T &result, const data::variable &x)

void	apply (T &result, const data::function_symbol &x)

void	apply (T &result, const data::application &x)

void	apply (T &result, const data::where_clause &x)

void	apply (T &result, const data::machine_number &x)

void	apply (T &result, const data::untyped_identifier &x)

void	apply (T &result, const data::assignment &x)

void	apply (T &result, const data::untyped_identifier_assignment &x)

void	apply (T &result, const data::basic_sort &x)

void	apply (T &result, const data::container_sort &x)

void	apply (T &result, const data::structured_sort &x)

void	apply (T &result, const data::function_sort &x)

void	apply (T &result, const data::untyped_sort &x)

void	apply (T &result, const data::untyped_possible_sorts &x)

void	apply (T &result, const data::untyped_sort_variable &x)

void	apply (T &result, const data::forall &x)

void	apply (T &result, const data::exists &x)

void	apply (T &result, const data::lambda &x)

void	apply (T &result, const data::set_comprehension &x)

void	apply (T &result, const data::bag_comprehension &x)

void	apply (T &result, const data::untyped_set_or_bag_comprehension &x)

void	apply (T &result, const data::structured_sort_constructor_argument &x)

void	apply (T &result, const data::structured_sort_constructor &x)

void	apply (T &result, const data::alias &x)

void	apply (T &result, const data::data_equation &x)

void	apply (T &result, const data::untyped_data_parameter &x)

void	apply (T &result, const data::data_expression &x)

void	apply (T &result, const data::assignment_expression &x)

void	apply (T &result, const data::sort_expression &x)

void	apply (T &result, const data::abstraction &x)

Public Attributes
data::set_identifier_generator	id_generator

std::map< core::identifier_string, core::identifier_string >	sort_name_substitution

std::map< core::identifier_string, core::identifier_string >	variable_name_substitution

std::map< core::identifier_string, core::identifier_string >	function_symbol_name_substitution

Detailed Description

template<typename Derived>
struct mcrl2::data::detail::anonymize_builder< Derived >

Definition at line 26 of file anonymize.h.

Member Typedef Documentation

◆ super

template<typename Derived >

typedef data::sort_expression_builder<Derived> mcrl2::data::detail::anonymize_builder< Derived >::super

Definition at line 28 of file anonymize.h.

Member Function Documentation

◆ add_name()

template<typename Derived >

void mcrl2::data::detail::anonymize_builder< Derived >::add_name	(	const core::identifier_string &	name,
		std::map< core::identifier_string, core::identifier_string > &	substitution,
		const std::string &	hint
	)

inline

Definition at line 44 of file anonymize.h.

◆ apply() [1/6]

template<typename Derived >

template<class T >

void mcrl2::data::detail::anonymize_builder< Derived >::apply	(	T &	result,
		const alias &	x
	)

inline

Definition at line 205 of file anonymize.h.

◆ apply() [2/6]

template<typename Derived >

template<class T >

void mcrl2::data::detail::anonymize_builder< Derived >::apply	(	T &	result,
		const basic_sort &	x
	)

inline

Definition at line 160 of file anonymize.h.

◆ apply() [3/6]

template<typename Derived >

template<class T >

void mcrl2::data::detail::anonymize_builder< Derived >::apply	(	T &	result,
		const function_symbol &	x
	)

inline

Definition at line 145 of file anonymize.h.

◆ apply() [4/6]

template<typename Derived >

template<class T >

void mcrl2::data::detail::anonymize_builder< Derived >::apply	(	T &	result,
		const structured_sort_constructor &	x
	)

inline

Definition at line 177 of file anonymize.h.

◆ apply() [5/6]

template<typename Derived >

template<class T >

void mcrl2::data::detail::anonymize_builder< Derived >::apply	(	T &	result,
		const structured_sort_constructor_argument &	x
	)

inline

Definition at line 195 of file anonymize.h.

◆ apply() [6/6]

template<typename Derived >

template<class T >

void mcrl2::data::detail::anonymize_builder< Derived >::apply	(	T &	result,
		const variable &	x
	)

inline

Definition at line 130 of file anonymize.h.

◆ derived()

template<typename Derived >

Derived & mcrl2::data::detail::anonymize_builder< Derived >::derived ( )

inline

Definition at line 39 of file anonymize.h.

◆ enter() [1/5]

template<typename Derived >

void mcrl2::data::detail::anonymize_builder< Derived >::enter ( const basic_sort & x )

inline

Definition at line 154 of file anonymize.h.

◆ enter() [2/5]

template<typename Derived >

void mcrl2::data::detail::anonymize_builder< Derived >::enter ( const function_symbol & x )

inline

Definition at line 139 of file anonymize.h.

◆ enter() [3/5]

template<typename Derived >

void mcrl2::data::detail::anonymize_builder< Derived >::enter ( const structured_sort_constructor & x )

inline

Definition at line 167 of file anonymize.h.

◆ enter() [4/5]

template<typename Derived >

void mcrl2::data::detail::anonymize_builder< Derived >::enter ( const structured_sort_constructor_argument & x )

inline

Definition at line 189 of file anonymize.h.

◆ enter() [5/5]

template<typename Derived >

void mcrl2::data::detail::anonymize_builder< Derived >::enter ( const variable & x )

inline

Definition at line 124 of file anonymize.h.

◆ make_data_specification()

template<typename Derived >

data_specification mcrl2::data::detail::anonymize_builder< Derived >::make_data_specification	(	const basic_sort_vector &	user_defined_sorts,
		const function_symbol_vector &	user_defined_constructors,
		const function_symbol_vector &	user_defined_mappings,
		const alias_vector &	user_defined_aliases,
		const data_equation_vector &	user_defined_equations
	)

inline

Definition at line 60 of file anonymize.h.

◆ update()

template<typename Derived >

void mcrl2::data::detail::anonymize_builder< Derived >::update ( data_specification & x )

inline

Definition at line 77 of file anonymize.h.

Member Data Documentation

◆ function_symbol_name_substitution

template<typename Derived >

std::map<core::identifier_string, core::identifier_string> mcrl2::data::detail::anonymize_builder< Derived >::function_symbol_name_substitution

Definition at line 37 of file anonymize.h.

◆ id_generator

template<typename Derived >

data::set_identifier_generator mcrl2::data::detail::anonymize_builder< Derived >::id_generator

Definition at line 34 of file anonymize.h.

◆ sort_name_substitution

template<typename Derived >

std::map<core::identifier_string, core::identifier_string> mcrl2::data::detail::anonymize_builder< Derived >::sort_name_substitution

Definition at line 35 of file anonymize.h.

◆ variable_name_substitution

template<typename Derived >

std::map<core::identifier_string, core::identifier_string> mcrl2::data::detail::anonymize_builder< Derived >::variable_name_substitution

Definition at line 36 of file anonymize.h.

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

data/include/mcrl2/data/anonymize.h

Public Types

Public Member Functions

Public Attributes

Detailed Description

Member Typedef Documentation

◆ super

Member Function Documentation

◆ add_name()

◆ apply() [1/6]

◆ apply() [2/6]

◆ apply() [3/6]

◆ apply() [4/6]

◆ apply() [5/6]

◆ apply() [6/6]

◆ derived()

◆ enter() [1/5]

◆ enter() [2/5]

◆ enter() [3/5]

◆ enter() [4/5]

◆ enter() [5/5]

◆ make_data_specification()

◆ update()

Member Data Documentation

◆ function_symbol_name_substitution

◆ id_generator

◆ sort_name_substitution

◆ variable_name_substitution