depth.hpp File Reference

Go to the source code of this file.

Namespaces
namespace	opennwa
	This file defines forward declarations for various useful NWA-related types.
namespace	opennwa::traverse
Functions
void	opennwa::traverse::dfsCallStringTraversal (Nwa const &nwa, ConstCallStringStateFunctor *state_functor, ConstCallStringTransitionFunctor *trans_functor)