mcrl2::data::add_traverser_sort_expressions< Traverser, Derived > Struct Template Reference

#include <traverser.h>

Inheritance diagram for mcrl2::data::add_traverser_sort_expressions< Traverser, Derived >:

Public Types
using	super = Traverser< Derived >

Public Member Functions
void	apply (const data::variable &x)
void	apply (const data::function_symbol &x)
void	apply (const data::application &x)
void	apply (const data::where_clause &x)
void	apply (const data::machine_number &x)
void	apply (const data::untyped_identifier &x)
void	apply (const data::assignment &x)
void	apply (const data::untyped_identifier_assignment &x)
void	apply (const data::basic_sort &x)
void	apply (const data::container_sort &x)
void	apply (const data::structured_sort &x)
void	apply (const data::function_sort &x)
void	apply (const data::untyped_sort &x)
void	apply (const data::untyped_possible_sorts &x)
void	apply (const data::untyped_sort_variable &x)
void	apply (const data::forall &x)
void	apply (const data::exists &x)
void	apply (const data::lambda &x)
void	apply (const data::set_comprehension &x)
void	apply (const data::bag_comprehension &x)
void	apply (const data::untyped_set_or_bag_comprehension &x)
void	apply (const data::structured_sort_constructor_argument &x)
void	apply (const data::structured_sort_constructor &x)
void	apply (const data::alias &x)
void	apply (const data::data_equation &x)
void	apply (const data::untyped_data_parameter &x)
void	apply (const data::data_expression &x)
void	apply (const data::assignment_expression &x)
void	apply (const data::sort_expression &x)
void	apply (const data::abstraction &x)

Detailed Description

template<template< class > class Traverser, class Derived>
struct mcrl2::data::add_traverser_sort_expressions< Traverser, Derived >

Definition at line 38 of file traverser.h.

Member Typedef Documentation

super

template<template< class > class Traverser, class Derived >

using mcrl2::data::add_traverser_sort_expressions< Traverser, Derived >::super = Traverser<Derived>

Definition at line 40 of file traverser.h.

Member Function Documentation

apply() [1/30]

template<template< class > class Traverser, class Derived >

void mcrl2::data::add_traverser_sort_expressions< Traverser, Derived >::apply ( const data::abstraction &  x )

inline

Definition at line 322 of file traverser.h.

apply() [2/30]

template<template< class > class Traverser, class Derived >

void mcrl2::data::add_traverser_sort_expressions< Traverser, Derived >::apply ( const data::alias &  x )

inline

Definition at line 216 of file traverser.h.

apply() [3/30]

template<template< class > class Traverser, class Derived >

void mcrl2::data::add_traverser_sort_expressions< Traverser, Derived >::apply ( const data::application &  x )

inline

Definition at line 59 of file traverser.h.

apply() [4/30]

template<template< class > class Traverser, class Derived >

void mcrl2::data::add_traverser_sort_expressions< Traverser, Derived >::apply ( const data::assignment &  x )

inline

Definition at line 89 of file traverser.h.

apply() [5/30]

template<template< class > class Traverser, class Derived >

void mcrl2::data::add_traverser_sort_expressions< Traverser, Derived >::apply ( const data::assignment_expression &  x )

inline

Definition at line 274 of file traverser.h.

apply() [6/30]

template<template< class > class Traverser, class Derived >

void mcrl2::data::add_traverser_sort_expressions< Traverser, Derived >::apply ( const data::bag_comprehension &  x )

inline

Definition at line 186 of file traverser.h.

apply() [7/30]

template<template< class > class Traverser, class Derived >

void mcrl2::data::add_traverser_sort_expressions< Traverser, Derived >::apply ( const data::basic_sort &  x )

inline

Definition at line 104 of file traverser.h.

apply() [8/30]

template<template< class > class Traverser, class Derived >

void mcrl2::data::add_traverser_sort_expressions< Traverser, Derived >::apply ( const data::container_sort &  x )

inline

Definition at line 111 of file traverser.h.

apply() [9/30]

template<template< class > class Traverser, class Derived >

void mcrl2::data::add_traverser_sort_expressions< Traverser, Derived >::apply ( const data::data_equation &  x )

inline

Definition at line 223 of file traverser.h.

apply() [10/30]

template<template< class > class Traverser, class Derived >

void mcrl2::data::add_traverser_sort_expressions< Traverser, Derived >::apply ( const data::data_expression &  x )

inline

Definition at line 240 of file traverser.h.

apply() [11/30]

template<template< class > class Traverser, class Derived >

void mcrl2::data::add_traverser_sort_expressions< Traverser, Derived >::apply ( const data::exists &  x )

inline

Definition at line 162 of file traverser.h.

apply() [12/30]

template<template< class > class Traverser, class Derived >

void mcrl2::data::add_traverser_sort_expressions< Traverser, Derived >::apply ( const data::forall &  x )

inline

Definition at line 154 of file traverser.h.

apply() [13/30]

template<template< class > class Traverser, class Derived >

void mcrl2::data::add_traverser_sort_expressions< Traverser, Derived >::apply ( const data::function_sort &  x )

inline

Definition at line 125 of file traverser.h.

apply() [14/30]

template<template< class > class Traverser, class Derived >

void mcrl2::data::add_traverser_sort_expressions< Traverser, Derived >::apply ( const data::function_symbol &  x )

inline

Definition at line 52 of file traverser.h.

apply() [15/30]

template<template< class > class Traverser, class Derived >

void mcrl2::data::add_traverser_sort_expressions< Traverser, Derived >::apply ( const data::lambda &  x )

inline

Definition at line 170 of file traverser.h.

apply() [16/30]

template<template< class > class Traverser, class Derived >

void mcrl2::data::add_traverser_sort_expressions< Traverser, Derived >::apply ( const data::machine_number &  x )

inline

Definition at line 75 of file traverser.h.

apply() [17/30]

template<template< class > class Traverser, class Derived >

void mcrl2::data::add_traverser_sort_expressions< Traverser, Derived >::apply ( const data::set_comprehension &  x )

inline

Definition at line 178 of file traverser.h.

apply() [18/30]

template<template< class > class Traverser, class Derived >

void mcrl2::data::add_traverser_sort_expressions< Traverser, Derived >::apply ( const data::sort_expression &  x )

inline

Definition at line 288 of file traverser.h.

apply() [19/30]

template<template< class > class Traverser, class Derived >

void mcrl2::data::add_traverser_sort_expressions< Traverser, Derived >::apply ( const data::structured_sort &  x )

inline

Definition at line 118 of file traverser.h.

apply() [20/30]

template<template< class > class Traverser, class Derived >

void mcrl2::data::add_traverser_sort_expressions< Traverser, Derived >::apply ( const data::structured_sort_constructor &  x )

inline

Definition at line 209 of file traverser.h.

apply() [21/30]

template<template< class > class Traverser, class Derived >

void mcrl2::data::add_traverser_sort_expressions< Traverser, Derived >::apply ( const data::structured_sort_constructor_argument &  x )

inline

Definition at line 202 of file traverser.h.

apply() [22/30]

template<template< class > class Traverser, class Derived >

void mcrl2::data::add_traverser_sort_expressions< Traverser, Derived >::apply ( const data::untyped_data_parameter &  x )

inline

Definition at line 233 of file traverser.h.

apply() [23/30]

template<template< class > class Traverser, class Derived >

void mcrl2::data::add_traverser_sort_expressions< Traverser, Derived >::apply ( const data::untyped_identifier &  x )

inline

Definition at line 82 of file traverser.h.

apply() [24/30]

template<template< class > class Traverser, class Derived >

void mcrl2::data::add_traverser_sort_expressions< Traverser, Derived >::apply ( const data::untyped_identifier_assignment &  x )

inline

Definition at line 97 of file traverser.h.

apply() [25/30]

template<template< class > class Traverser, class Derived >

void mcrl2::data::add_traverser_sort_expressions< Traverser, Derived >::apply ( const data::untyped_possible_sorts &  x )

inline

Definition at line 140 of file traverser.h.

apply() [26/30]

template<template< class > class Traverser, class Derived >

void mcrl2::data::add_traverser_sort_expressions< Traverser, Derived >::apply ( const data::untyped_set_or_bag_comprehension &  x )

inline

Definition at line 194 of file traverser.h.

apply() [27/30]

template<template< class > class Traverser, class Derived >

void mcrl2::data::add_traverser_sort_expressions< Traverser, Derived >::apply ( const data::untyped_sort &  x )

inline

Definition at line 133 of file traverser.h.

apply() [28/30]

template<template< class > class Traverser, class Derived >

void mcrl2::data::add_traverser_sort_expressions< Traverser, Derived >::apply ( const data::untyped_sort_variable &  x )

inline

Definition at line 147 of file traverser.h.

apply() [29/30]

template<template< class > class Traverser, class Derived >

void mcrl2::data::add_traverser_sort_expressions< Traverser, Derived >::apply ( const data::variable &  x )

inline

Definition at line 45 of file traverser.h.

apply() [30/30]

template<template< class > class Traverser, class Derived >

void mcrl2::data::add_traverser_sort_expressions< Traverser, Derived >::apply ( const data::where_clause &  x )

inline

Definition at line 67 of file traverser.h.

---

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

• data/include/mcrl2/data/traverser.h