mcrl2::regular_formulas::regular_formula_traverser_base< Derived > Struct Template Reference

Traversal class for regular_formula_traverser. Used as a base class for pbes_expression_traverser. More...

#include <traverser.h>

Inheritance diagram for mcrl2::regular_formulas::regular_formula_traverser_base< Derived >:

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

Public Member Functions
void	apply (const data::data_expression &x)
void	apply (const action_formulas::action_formula &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::regular_formulas::regular_formula_traverser_base< Derived >

Traversal class for regular_formula_traverser. Used as a base class for pbes_expression_traverser.

Definition at line 966 of file traverser.h.

Member Typedef Documentation

super

template<typename Derived >

using mcrl2::regular_formulas::regular_formula_traverser_base< Derived >::super = core::traverser<Derived>

Definition at line 968 of file traverser.h.

Member Function Documentation

apply() [1/3]

template<typename Derived >

void mcrl2::regular_formulas::regular_formula_traverser_base< Derived >::apply ( const action_formulas::action_formula &  x )

inline

Definition at line 980 of file traverser.h.

apply() [2/3]

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() [3/3]

template<typename Derived >

void mcrl2::regular_formulas::regular_formula_traverser_base< Derived >::apply ( const data::data_expression &  x )

inline

Definition at line 973 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