mcrl2::action_formulas::action_formula_traverser_base< Derived > Struct Template Reference

Base class for action_formula_traverser. More...

#include <traverser.h>

Inheritance diagram for mcrl2::action_formulas::action_formula_traverser_base< Derived >:

Public Types
using	super = core::traverser< Derived >

Public Member Functions
void	apply (const data::data_expression &x)
void	apply (const data::untyped_data_parameter &x)
void	apply (const process::untyped_multi_action &x)
template<typename Container > requires atermpp::is_container<Container>
::value void	apply (const Container &container)
template<typename Expression >
void	enter (const Expression &)
template<typename Expression >
void	leave (const Expression &)
Public Member Functions inherited from mcrl2::core::traverser< Derived >
template<typename Expression >
void	enter (const Expression &)
template<typename Expression >
void	leave (const Expression &)
template<typename Container > requires atermpp::is_container<Container>
::value void	apply (const Container &container)

Detailed Description

template<typename Derived>
struct mcrl2::action_formulas::action_formula_traverser_base< Derived >

Base class for action_formula_traverser.

Definition at line 26 of file traverser.h.

Member Typedef Documentation

super

template<typename Derived >

using mcrl2::action_formulas::action_formula_traverser_base< Derived >::super = core::traverser<Derived>

Definition at line 28 of file traverser.h.

Member Function Documentation

apply() [1/4]

template<typename Derived >

template<typename Container >
requires atermpp::is_container<Container>

::value void mcrl2::core::traverser< Derived >::apply ( const Container &  container )

inline

Definition at line 56 of file traverser.h.

apply() [2/4]

template<typename Derived >

void mcrl2::action_formulas::action_formula_traverser_base< Derived >::apply ( const data::data_expression &  x )

inline

Definition at line 33 of file traverser.h.

apply() [3/4]

template<typename Derived >

void mcrl2::action_formulas::action_formula_traverser_base< Derived >::apply ( const data::untyped_data_parameter &  x )

inline

Definition at line 40 of file traverser.h.

apply() [4/4]

template<typename Derived >

void mcrl2::action_formulas::action_formula_traverser_base< Derived >::apply ( const process::untyped_multi_action &  x )

inline

Definition at line 47 of file traverser.h.

enter()

template<typename Derived >

template<typename Expression >

void mcrl2::core::traverser< Derived >::enter ( const Expression &  )

inline

Definition at line 46 of file traverser.h.

leave()

template<typename Derived >

template<typename Expression >

void mcrl2::core::traverser< Derived >::leave ( const Expression &  )

inline

Definition at line 50 of file traverser.h.

---

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

• modal_formula/include/mcrl2/modal_formula/traverser.h