mCRL2
Loading...
Searching...
No Matches
Public Types | Public Member Functions | List of all members
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 >:
mcrl2::core::traverser< Derived >

Public Types

typedef core::traverser< Derived > super
 

Public Member Functions

void apply (const data::data_expression &x)
 
void apply (const action_formulas::action_formula &x)
 
template<typename T >
void apply (const T &x, typename atermpp::disable_if_container< T >::type *=nullptr)
 
template<typename Container >
void apply (Container const &container, typename atermpp::enable_if_container< Container >::type *=nullptr)
 
void apply (const core::identifier_string &x)
 
template<typename Expression >
void enter (Expression const &)
 
template<typename Expression >
void leave (Expression const &)
 
- Public Member Functions inherited from mcrl2::core::traverser< Derived >
template<typename Expression >
void enter (Expression const &)
 
template<typename Expression >
void leave (Expression const &)
 
template<typename T >
void apply (const T &x, typename atermpp::disable_if_container< T >::type *=nullptr)
 
template<typename Container >
void apply (Container const &container, typename atermpp::enable_if_container< Container >::type *=nullptr)
 
void apply (const core::identifier_string &x)
 

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 952 of file traverser.h.

Member Typedef Documentation

◆ super

template<typename Derived >
typedef core::traverser<Derived> mcrl2::regular_formulas::regular_formula_traverser_base< Derived >::super

Definition at line 954 of file traverser.h.

Member Function Documentation

◆ apply() [1/5]

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

Definition at line 966 of file traverser.h.

◆ apply() [2/5]

template<typename Derived >
void mcrl2::core::traverser< Derived >::apply ( const core::identifier_string &  x)
inline

Definition at line 59 of file traverser.h.

◆ apply() [3/5]

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

Definition at line 959 of file traverser.h.

◆ apply() [4/5]

template<typename Derived >
template<typename T >
void mcrl2::core::traverser< Derived >::apply ( const T &  x,
typename atermpp::disable_if_container< T >::type *  = nullptr 
)
inline

Definition at line 42 of file traverser.h.

◆ apply() [5/5]

template<typename Derived >
template<typename Container >
void mcrl2::core::traverser< Derived >::apply ( Container const &  container,
typename atermpp::enable_if_container< Container >::type *  = nullptr 
)
inline

Definition at line 50 of file traverser.h.

◆ enter()

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

Definition at line 34 of file traverser.h.

◆ leave()

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

Definition at line 38 of file traverser.h.

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