traverser.h File Reference

add your file description here. More...

Go to the source code of this file.

Classes
struct	mcrl2::core::traverser< Derived >
	expression traverser that visits all sub expressions More...
struct	mcrl2::core::apply_traverser< Traverser >

Namespaces
namespace	mcrl2
	A class that takes a linear process specification and checks all tau-summands of that LPS for confluence.
namespace	mcrl2::core

Functions
template<template< class > class Traverser>
apply_traverser< Traverser >	mcrl2::core::make_apply_traverser ()

Detailed Description

add your file description here.

Definition in file traverser.h.