mCRL2: mcrl2::data::add_variables< Builder, Derived > Struct Template Reference

mCRL2

Loading...

Searching...

No Matches

#include <builder.h>

Inheritance diagram for mcrl2::data::add_variables< Builder, Derived >:

Public Types
using	super = Builder< Derived >

Public Member Functions
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)

Detailed Description

template<template< class > class Builder, class Derived>
struct mcrl2::data::add_variables< Builder, Derived >

Definition at line 634 of file builder.h.

Member Typedef Documentation

◆ super

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

using mcrl2::data::add_variables< Builder, Derived >::super = Builder<Derived>

Definition at line 636 of file builder.h.

Member Function Documentation

◆ apply() [1/19]

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

template<class T >

void mcrl2::data::add_variables< Builder, Derived >::apply	(	T &	result,
		const data::abstraction &	x
	)

inline

Definition at line 829 of file builder.h.

◆ apply() [2/19]

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

template<class T >

void mcrl2::data::add_variables< Builder, Derived >::apply	(	T &	result,
		const data::application &	x
	)

inline

Definition at line 661 of file builder.h.

◆ apply() [3/19]

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

template<class T >

void mcrl2::data::add_variables< Builder, Derived >::apply	(	T &	result,
		const data::assignment &	x
	)

inline

Definition at line 699 of file builder.h.

◆ apply() [4/19]

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

template<class T >

void mcrl2::data::add_variables< Builder, Derived >::apply	(	T &	result,
		const data::assignment_expression &	x
	)

inline

Definition at line 814 of file builder.h.

◆ apply() [5/19]

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

template<class T >

void mcrl2::data::add_variables< Builder, Derived >::apply	(	T &	result,
		const data::bag_comprehension &	x
	)

inline

Definition at line 747 of file builder.h.

◆ apply() [6/19]

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

template<class T >

void mcrl2::data::add_variables< Builder, Derived >::apply	(	T &	result,
		const data::data_equation &	x
	)

inline

Definition at line 763 of file builder.h.

◆ apply() [7/19]

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

template<class T >

void mcrl2::data::add_variables< Builder, Derived >::apply	(	T &	result,
		const data::data_expression &	x
	)

inline

Definition at line 779 of file builder.h.

◆ apply() [8/19]

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

template<class T >

void mcrl2::data::add_variables< Builder, Derived >::apply	(	T &	result,
		const data::exists &	x
	)

inline

Definition at line 723 of file builder.h.

◆ apply() [9/19]

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

template<class T >

void mcrl2::data::add_variables< Builder, Derived >::apply	(	T &	result,
		const data::forall &	x
	)

inline

Definition at line 715 of file builder.h.

◆ apply() [10/19]

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

template<class T >

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

inline

Definition at line 652 of file builder.h.

◆ apply() [11/19]

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

template<class T >

void mcrl2::data::add_variables< Builder, Derived >::apply	(	T &	result,
		const data::lambda &	x
	)

inline

Definition at line 731 of file builder.h.

◆ apply() [12/19]

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

template<class T >

void mcrl2::data::add_variables< Builder, Derived >::apply	(	T &	result,
		const data::machine_number &	x
	)

inline

Definition at line 681 of file builder.h.

◆ apply() [13/19]

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

template<class T >

void mcrl2::data::add_variables< Builder, Derived >::apply	(	T &	result,
		const data::set_comprehension &	x
	)

inline

Definition at line 739 of file builder.h.

◆ apply() [14/19]

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

template<class T >

void mcrl2::data::add_variables< Builder, Derived >::apply	(	T &	result,
		const data::untyped_data_parameter &	x
	)

inline

Definition at line 771 of file builder.h.

◆ apply() [15/19]

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

template<class T >

void mcrl2::data::add_variables< Builder, Derived >::apply	(	T &	result,
		const data::untyped_identifier &	x
	)

inline

Definition at line 690 of file builder.h.

◆ apply() [16/19]

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

template<class T >

void mcrl2::data::add_variables< Builder, Derived >::apply	(	T &	result,
		const data::untyped_identifier_assignment &	x
	)

inline

Definition at line 707 of file builder.h.

◆ apply() [17/19]

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

template<class T >

void mcrl2::data::add_variables< Builder, Derived >::apply	(	T &	result,
		const data::untyped_set_or_bag_comprehension &	x
	)

inline

Definition at line 755 of file builder.h.

◆ apply() [18/19]

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

template<class T >

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

inline

Definition at line 643 of file builder.h.

◆ apply() [19/19]

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

template<class T >

void mcrl2::data::add_variables< Builder, Derived >::apply	(	T &	result,
		const data::where_clause &	x
	)

inline

Definition at line 673 of file builder.h.

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

data/include/mcrl2/data/builder.h

mcrl2
data
add_variables
Generated by 1.9.7