mCRL2
Loading...
Searching...
No Matches
Public Member Functions | List of all members
mcrl2::core::traverser< Derived > Struct Template Reference

expression traverser that visits all sub expressions More...

#include <traverser.h>

Inheritance diagram for mcrl2::core::traverser< Derived >:
mcrl2::action_formulas::action_formula_traverser_base< Derived > mcrl2::pbes_system::pbes_expression_traverser_base< Derived > mcrl2::pres_system::pres_expression_traverser_base< Derived > mcrl2::process::process_traverser_base< Derived > mcrl2::regular_formulas::regular_formula_traverser_base< Derived > mcrl2::state_formulas::state_formula_traverser_base< Derived >

Public Member Functions

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::core::traverser< Derived >

expression traverser that visits all sub expressions

Types:

  • Derived the type of a derived class, as per CRTP

Definition at line 28 of file traverser.h.

Member Function Documentation

◆ apply()

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.

◆ 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: