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

\brief Traverser class More...

#include <traverser.h>

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

Additional Inherited Members
Public Types inherited from mcrl2::lps::add_traverser_identifier_strings< process::identifier_string_traverser, Derived >
typedef process::identifier_string_traverser< Derived >	super
Public Member Functions inherited from mcrl2::lps::add_traverser_identifier_strings< process::identifier_string_traverser, Derived >
void	apply (const lps::deadlock &x)
void	apply (const lps::multi_action &x)
void	apply (const lps::deadlock_summand &x)
void	apply (const lps::action_summand &x)
void	apply (const lps::process_initializer &x)
void	apply (const lps::linear_process &x)
void	apply (const lps::specification &x)
void	apply (const lps::stochastic_distribution &x)
void	apply (const lps::stochastic_action_summand &x)
void	apply (const lps::stochastic_linear_process &x)
void	apply (const lps::stochastic_specification &x)
void	apply (const lps::stochastic_process_initializer &x)

Detailed Description

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

\brief Traverser class

Definition at line 529 of file traverser.h.

---

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

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