mcrl2/core/traverser.h

Include file:

#include "mcrl2/core/traverser.h"

add your file description here.

Classes

• mcrl2::core::apply_traverser
• mcrl2::core::traverser

Functions

apply_traverser<Traverser> mcrl2::core::make_apply_traverser()