Loading...
Searching...
No Matches
mcrl2::data::add_traverser_data_expressions< Traverser, Derived > Struct Template Reference
#include <traverser.h>
Inheritance diagram for mcrl2::data::add_traverser_data_expressions< Traverser, Derived >:
Public Types | |
| typedef Traverser< Derived > | super |
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::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::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::abstraction &x) |
Detailed Description
template<template< class > class Traverser, class Derived>
struct mcrl2::data::add_traverser_data_expressions< Traverser, Derived >
struct mcrl2::data::add_traverser_data_expressions< Traverser, Derived >
Definition at line 364 of file traverser.h.
Member Typedef Documentation
◆ super
template<template< class > class Traverser, class Derived >
| typedef Traverser<Derived> mcrl2::data::add_traverser_data_expressions< Traverser, Derived >::super |
Definition at line 366 of file traverser.h.
Member Function Documentation
◆ apply() [1/19]
template<template< class > class Traverser, class Derived >
|
inline |
Definition at line 535 of file traverser.h.
◆ apply() [2/19]
template<template< class > class Traverser, class Derived >
|
inline |
Definition at line 385 of file traverser.h.
◆ apply() [3/19]
template<template< class > class Traverser, class Derived >
|
inline |
Definition at line 415 of file traverser.h.
◆ apply() [4/19]
template<template< class > class Traverser, class Derived >
|
inline |
Definition at line 521 of file traverser.h.
◆ apply() [5/19]
template<template< class > class Traverser, class Derived >
|
inline |
Definition at line 457 of file traverser.h.
◆ apply() [6/19]
template<template< class > class Traverser, class Derived >
|
inline |
Definition at line 471 of file traverser.h.
◆ apply() [7/19]
template<template< class > class Traverser, class Derived >
|
inline |
Definition at line 487 of file traverser.h.
◆ apply() [8/19]
template<template< class > class Traverser, class Derived >
|
inline |
Definition at line 436 of file traverser.h.
◆ apply() [9/19]
template<template< class > class Traverser, class Derived >
|
inline |
Definition at line 429 of file traverser.h.
◆ apply() [10/19]
template<template< class > class Traverser, class Derived >
|
inline |
Definition at line 378 of file traverser.h.
◆ apply() [11/19]
template<template< class > class Traverser, class Derived >
|
inline |
Definition at line 443 of file traverser.h.
◆ apply() [12/19]
template<template< class > class Traverser, class Derived >
|
inline |
Definition at line 401 of file traverser.h.
◆ apply() [13/19]
template<template< class > class Traverser, class Derived >
|
inline |
Definition at line 450 of file traverser.h.
◆ apply() [14/19]
template<template< class > class Traverser, class Derived >
|
inline |
Definition at line 480 of file traverser.h.
◆ apply() [15/19]
template<template< class > class Traverser, class Derived >
|
inline |
Definition at line 408 of file traverser.h.
◆ apply() [16/19]
template<template< class > class Traverser, class Derived >
|
inline |
Definition at line 422 of file traverser.h.
◆ apply() [17/19]
template<template< class > class Traverser, class Derived >
|
inline |
Definition at line 464 of file traverser.h.
◆ apply() [18/19]
template<template< class > class Traverser, class Derived >
|
inline |
Definition at line 371 of file traverser.h.
◆ apply() [19/19]
template<template< class > class Traverser, class Derived >
|
inline |
Definition at line 393 of file traverser.h.
The documentation for this struct was generated from the following file:
- data/include/mcrl2/data/traverser.h
