mcrl2::core::apply_traverser< Traverser > Struct Template Reference

#include <traverser.h>

Inheritance diagram for mcrl2::core::apply_traverser< Traverser >:

Public Types
using	super = Traverser< apply_traverser< Traverser > >

Detailed Description

template<template< class > class Traverser>
struct mcrl2::core::apply_traverser< Traverser >

Definition at line 67 of file traverser.h.

Member Typedef Documentation

super

template<template< class > class Traverser>

using mcrl2::core::apply_traverser< Traverser >::super = Traverser<apply_traverser<Traverser> >

Definition at line 69 of file traverser.h.

---

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

• core/include/mcrl2/core/traverser.h