mCRL2
Loading...
Searching...
No Matches
Public Types | Public Member Functions | List of all members
mcrl2::data::add_sort_expressions< Builder, Derived > Struct Template Reference

#include <builder.h>

Inheritance diagram for mcrl2::data::add_sort_expressions< Builder, Derived >:
mcrl2::data::sort_expression_builder< anonymize_builder_instance >

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::basic_sort &x)
 
template<class T >
void apply (T &result, const data::container_sort &x)
 
template<class T >
void apply (T &result, const data::structured_sort &x)
 
template<class T >
void apply (T &result, const data::function_sort &x)
 
template<class T >
void apply (T &result, const data::untyped_sort &x)
 
template<class T >
void apply (T &result, const data::untyped_possible_sorts &x)
 
template<class T >
void apply (T &result, const data::untyped_sort_variable &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::structured_sort_constructor_argument &x)
 
template<class T >
void apply (T &result, const data::structured_sort_constructor &x)
 
template<class T >
void apply (T &result, const data::alias &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::sort_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_sort_expressions< Builder, Derived >

Definition at line 45 of file builder.h.

Member Typedef Documentation

◆ super

template<template< class > class Builder, class Derived >
using mcrl2::data::add_sort_expressions< Builder, Derived >::super = Builder<Derived>

Definition at line 47 of file builder.h.

Member Function Documentation

◆ apply() [1/30]

template<template< class > class Builder, class Derived >
template<class T >
void mcrl2::data::add_sort_expressions< Builder, Derived >::apply ( T &  result,
const data::abstraction &  x 
)
inline

Definition at line 356 of file builder.h.

◆ apply() [2/30]

template<template< class > class Builder, class Derived >
template<class T >
void mcrl2::data::add_sort_expressions< Builder, Derived >::apply ( T &  result,
const data::alias &  x 
)
inline

Definition at line 247 of file builder.h.

◆ apply() [3/30]

template<template< class > class Builder, class Derived >
template<class T >
void mcrl2::data::add_sort_expressions< Builder, Derived >::apply ( T &  result,
const data::application &  x 
)
inline

Definition at line 70 of file builder.h.

◆ apply() [4/30]

template<template< class > class Builder, class Derived >
template<class T >
void mcrl2::data::add_sort_expressions< Builder, Derived >::apply ( T &  result,
const data::assignment &  x 
)
inline

Definition at line 108 of file builder.h.

◆ apply() [5/30]

template<template< class > class Builder, class Derived >
template<class T >
void mcrl2::data::add_sort_expressions< Builder, Derived >::apply ( T &  result,
const data::assignment_expression &  x 
)
inline

Definition at line 306 of file builder.h.

◆ apply() [6/30]

template<template< class > class Builder, class Derived >
template<class T >
void mcrl2::data::add_sort_expressions< Builder, Derived >::apply ( T &  result,
const data::bag_comprehension &  x 
)
inline

Definition at line 215 of file builder.h.

◆ apply() [7/30]

template<template< class > class Builder, class Derived >
template<class T >
void mcrl2::data::add_sort_expressions< Builder, Derived >::apply ( T &  result,
const data::basic_sort &  x 
)
inline

Definition at line 124 of file builder.h.

◆ apply() [8/30]

template<template< class > class Builder, class Derived >
template<class T >
void mcrl2::data::add_sort_expressions< Builder, Derived >::apply ( T &  result,
const data::container_sort &  x 
)
inline

Definition at line 133 of file builder.h.

◆ apply() [9/30]

template<template< class > class Builder, class Derived >
template<class T >
void mcrl2::data::add_sort_expressions< Builder, Derived >::apply ( T &  result,
const data::data_equation &  x 
)
inline

Definition at line 255 of file builder.h.

◆ apply() [10/30]

template<template< class > class Builder, class Derived >
template<class T >
void mcrl2::data::add_sort_expressions< Builder, Derived >::apply ( T &  result,
const data::data_expression &  x 
)
inline

Definition at line 271 of file builder.h.

◆ apply() [11/30]

template<template< class > class Builder, class Derived >
template<class T >
void mcrl2::data::add_sort_expressions< Builder, Derived >::apply ( T &  result,
const data::exists &  x 
)
inline

Definition at line 191 of file builder.h.

◆ apply() [12/30]

template<template< class > class Builder, class Derived >
template<class T >
void mcrl2::data::add_sort_expressions< Builder, Derived >::apply ( T &  result,
const data::forall &  x 
)
inline

Definition at line 183 of file builder.h.

◆ apply() [13/30]

template<template< class > class Builder, class Derived >
template<class T >
void mcrl2::data::add_sort_expressions< Builder, Derived >::apply ( T &  result,
const data::function_sort &  x 
)
inline

Definition at line 149 of file builder.h.

◆ apply() [14/30]

template<template< class > class Builder, class Derived >
template<class T >
void mcrl2::data::add_sort_expressions< Builder, Derived >::apply ( T &  result,
const data::function_symbol &  x 
)
inline

Definition at line 62 of file builder.h.

◆ apply() [15/30]

template<template< class > class Builder, class Derived >
template<class T >
void mcrl2::data::add_sort_expressions< Builder, Derived >::apply ( T &  result,
const data::lambda &  x 
)
inline

Definition at line 199 of file builder.h.

◆ apply() [16/30]

template<template< class > class Builder, class Derived >
template<class T >
void mcrl2::data::add_sort_expressions< Builder, Derived >::apply ( T &  result,
const data::machine_number &  x 
)
inline

Definition at line 90 of file builder.h.

◆ apply() [17/30]

template<template< class > class Builder, class Derived >
template<class T >
void mcrl2::data::add_sort_expressions< Builder, Derived >::apply ( T &  result,
const data::set_comprehension &  x 
)
inline

Definition at line 207 of file builder.h.

◆ apply() [18/30]

template<template< class > class Builder, class Derived >
template<class T >
void mcrl2::data::add_sort_expressions< Builder, Derived >::apply ( T &  result,
const data::sort_expression &  x 
)
inline

Definition at line 321 of file builder.h.

◆ apply() [19/30]

template<template< class > class Builder, class Derived >
template<class T >
void mcrl2::data::add_sort_expressions< Builder, Derived >::apply ( T &  result,
const data::structured_sort &  x 
)
inline

Definition at line 141 of file builder.h.

◆ apply() [20/30]

template<template< class > class Builder, class Derived >
template<class T >
void mcrl2::data::add_sort_expressions< Builder, Derived >::apply ( T &  result,
const data::structured_sort_constructor &  x 
)
inline

Definition at line 239 of file builder.h.

◆ apply() [21/30]

template<template< class > class Builder, class Derived >
template<class T >
void mcrl2::data::add_sort_expressions< Builder, Derived >::apply ( T &  result,
const data::structured_sort_constructor_argument &  x 
)
inline

Definition at line 231 of file builder.h.

◆ apply() [22/30]

template<template< class > class Builder, class Derived >
template<class T >
void mcrl2::data::add_sort_expressions< Builder, Derived >::apply ( T &  result,
const data::untyped_data_parameter &  x 
)
inline

Definition at line 263 of file builder.h.

◆ apply() [23/30]

template<template< class > class Builder, class Derived >
template<class T >
void mcrl2::data::add_sort_expressions< Builder, Derived >::apply ( T &  result,
const data::untyped_identifier &  x 
)
inline

Definition at line 99 of file builder.h.

◆ apply() [24/30]

template<template< class > class Builder, class Derived >
template<class T >
void mcrl2::data::add_sort_expressions< Builder, Derived >::apply ( T &  result,
const data::untyped_identifier_assignment &  x 
)
inline

Definition at line 116 of file builder.h.

◆ apply() [25/30]

template<template< class > class Builder, class Derived >
template<class T >
void mcrl2::data::add_sort_expressions< Builder, Derived >::apply ( T &  result,
const data::untyped_possible_sorts &  x 
)
inline

Definition at line 166 of file builder.h.

◆ apply() [26/30]

template<template< class > class Builder, class Derived >
template<class T >
void mcrl2::data::add_sort_expressions< Builder, Derived >::apply ( T &  result,
const data::untyped_set_or_bag_comprehension &  x 
)
inline

Definition at line 223 of file builder.h.

◆ apply() [27/30]

template<template< class > class Builder, class Derived >
template<class T >
void mcrl2::data::add_sort_expressions< Builder, Derived >::apply ( T &  result,
const data::untyped_sort &  x 
)
inline

Definition at line 157 of file builder.h.

◆ apply() [28/30]

template<template< class > class Builder, class Derived >
template<class T >
void mcrl2::data::add_sort_expressions< Builder, Derived >::apply ( T &  result,
const data::untyped_sort_variable &  x 
)
inline

Definition at line 174 of file builder.h.

◆ apply() [29/30]

template<template< class > class Builder, class Derived >
template<class T >
void mcrl2::data::add_sort_expressions< Builder, Derived >::apply ( T &  result,
const data::variable &  x 
)
inline

Definition at line 54 of file builder.h.

◆ apply() [30/30]

template<template< class > class Builder, class Derived >
template<class T >
void mcrl2::data::add_sort_expressions< Builder, Derived >::apply ( T &  result,
const data::where_clause &  x 
)
inline

Definition at line 82 of file builder.h.

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