Loading...
Searching...
No Matches
mcrl2::data::add_traverser_variables< Traverser, Derived > Struct Template Reference
#include <traverser.h>
Inheritance diagram for mcrl2::data::add_traverser_variables< 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_variables< Traverser, Derived >
struct mcrl2::data::add_traverser_variables< Traverser, Derived >
Definition at line 576 of file traverser.h.
Member Typedef Documentation
◆ super
template<template< class > class Traverser, class Derived >
| typedef Traverser<Derived> mcrl2::data::add_traverser_variables< Traverser, Derived >::super |
Definition at line 578 of file traverser.h.
Member Function Documentation
◆ apply() [1/19]
template<template< class > class Traverser, class Derived >
|
inline |
Definition at line 755 of file traverser.h.
◆ apply() [2/19]
template<template< class > class Traverser, class Derived >
|
inline |
Definition at line 597 of file traverser.h.
◆ apply() [3/19]
template<template< class > class Traverser, class Derived >
|
inline |
Definition at line 627 of file traverser.h.
◆ apply() [4/19]
template<template< class > class Traverser, class Derived >
|
inline |
Definition at line 741 of file traverser.h.
◆ apply() [5/19]
template<template< class > class Traverser, class Derived >
|
inline |
Definition at line 674 of file traverser.h.
◆ apply() [6/19]
template<template< class > class Traverser, class Derived >
|
inline |
Definition at line 690 of file traverser.h.
◆ apply() [7/19]
template<template< class > class Traverser, class Derived >
|
inline |
Definition at line 707 of file traverser.h.
◆ apply() [8/19]
template<template< class > class Traverser, class Derived >
|
inline |
Definition at line 650 of file traverser.h.
◆ apply() [9/19]
template<template< class > class Traverser, class Derived >
|
inline |
Definition at line 642 of file traverser.h.
◆ apply() [10/19]
template<template< class > class Traverser, class Derived >
|
inline |
Definition at line 590 of file traverser.h.
◆ apply() [11/19]
template<template< class > class Traverser, class Derived >
|
inline |
Definition at line 658 of file traverser.h.
◆ apply() [12/19]
template<template< class > class Traverser, class Derived >
|
inline |
Definition at line 613 of file traverser.h.
◆ apply() [13/19]
template<template< class > class Traverser, class Derived >
|
inline |
Definition at line 666 of file traverser.h.
◆ apply() [14/19]
template<template< class > class Traverser, class Derived >
|
inline |
Definition at line 700 of file traverser.h.
◆ apply() [15/19]
template<template< class > class Traverser, class Derived >
|
inline |
Definition at line 620 of file traverser.h.
◆ apply() [16/19]
template<template< class > class Traverser, class Derived >
|
inline |
Definition at line 635 of file traverser.h.
◆ apply() [17/19]
template<template< class > class Traverser, class Derived >
|
inline |
Definition at line 682 of file traverser.h.
◆ apply() [18/19]
template<template< class > class Traverser, class Derived >
|
inline |
Definition at line 583 of file traverser.h.
◆ apply() [19/19]
template<template< class > class Traverser, class Derived >
|
inline |
Definition at line 605 of file traverser.h.
The documentation for this struct was generated from the following file:
- data/include/mcrl2/data/traverser.h
