mcrl2::lps::action_label_traverser< Derived > Struct Template Reference

\brief Traverser class More...

#include <traverser.h>

Inheritance diagram for mcrl2::lps::action_label_traverser< Derived >:

Additional Inherited Members
Public Types inherited from mcrl2::lps::add_traverser_action_labels< process::action_label_traverser, Derived >
typedef process::action_label_traverser< Derived >	super
Public Member Functions inherited from mcrl2::lps::add_traverser_action_labels< process::action_label_traverser, Derived >
void	apply (const lps::multi_action &x)
void	apply (const lps::action_summand &x)
void	apply (const lps::linear_process &x)
void	apply (const lps::specification &x)
void	apply (const lps::stochastic_action_summand &x)
void	apply (const lps::stochastic_linear_process &x)
void	apply (const lps::stochastic_specification &x)

Detailed Description

template<typename Derived>
struct mcrl2::lps::action_label_traverser< Derived >

\brief Traverser class

Definition at line 598 of file traverser.h.

---

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

• lps/include/mcrl2/lps/traverser.h