mCRL2
Loading...
Searching...
No Matches
List of all members
mcrl2::process::process_expression_traverser< Derived > Struct Template Reference

\brief Traverser class More...

#include <traverser.h>

Inheritance diagram for mcrl2::process::process_expression_traverser< Derived >:
mcrl2::process::add_traverser_process_expressions< process::process_traverser_base, Derived > mcrl2::process::detail::action_names_traverser< apply_action_names_traverser > mcrl2::process::detail::alphabet_traverser< Derived, alphabet_node > mcrl2::process::detail::alphabet_traverser< apply_alphabet_efficient_traverser > mcrl2::process::detail::alphabet_traverser< apply_alphabet_intersection_traverser, alphabet_node > mcrl2::process::detail::alphabet_traverser< apply_alphabet_traverser > mcrl2::process::detail::action_names_traverser< Derived, Node > mcrl2::process::detail::alphabet_traverser< Derived, Node > mcrl2::process::detail::push_allow_traverser< Derived, Node >

Additional Inherited Members

- Public Types inherited from mcrl2::process::add_traverser_process_expressions< process::process_traverser_base, Derived >
using super = process::process_traverser_base< Derived >
 
- Public Member Functions inherited from mcrl2::process::add_traverser_process_expressions< process::process_traverser_base, Derived >
void apply (const process::process_specification &x)
 
void apply (const process::process_equation &x)
 
void apply (const process::action &x)
 
void apply (const process::process_instance &x)
 
void apply (const process::process_instance_assignment &x)
 
void apply (const process::delta &x)
 
void apply (const process::tau &x)
 
void apply (const process::sum &x)
 
void apply (const process::block &x)
 
void apply (const process::hide &x)
 
void apply (const process::rename &x)
 
void apply (const process::comm &x)
 
void apply (const process::allow &x)
 
void apply (const process::sync &x)
 
void apply (const process::at &x)
 
void apply (const process::seq &x)
 
void apply (const process::if_then &x)
 
void apply (const process::if_then_else &x)
 
void apply (const process::bounded_init &x)
 
void apply (const process::merge &x)
 
void apply (const process::left_merge &x)
 
void apply (const process::choice &x)
 
void apply (const process::stochastic_operator &x)
 
void apply (const process::untyped_process_assignment &x)
 
void apply (const process::process_expression &x)
 

Detailed Description

template<typename Derived>
struct mcrl2::process::process_expression_traverser< Derived >

\brief Traverser class

Definition at line 961 of file traverser.h.

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