depth.cpp File Reference

Namespaces
namespace	opennwa
	This file defines forward declarations for various useful NWA-related types.
namespace	opennwa::traverse
namespace	opennwa::traverse::details
Typedefs
typedef ConstCallStringStateFunctor::CallString	opennwa::traverse::details::CallString
typedef std::set< std::pair < Symbol, State > >	opennwa::traverse::details::SymbolStatePairSet
Functions
void	opennwa::traverse::details::handle_internals (Nwa const &nwa, CallString const &cs, State state, StateSet &visited, ConstCallStringStateFunctor *state_functor, ConstCallStringTransitionFunctor *trans_functor, StateSet &return_sites)
void	opennwa::traverse::details::handle_calls (Nwa const &nwa, CallString const &cs, State state, StateSet &visited, ConstCallStringStateFunctor *state_functor, ConstCallStringTransitionFunctor *trans_functor, StateSet &return_sites)
void	opennwa::traverse::details::handle_returns (Nwa const &nwa, CallString const &cs, State state, ConstCallStringTransitionFunctor *trans_functor, StateSet &return_sites)
StateSet	opennwa::traverse::details::dfsCallStringTraversalHelper (Nwa const &nwa, CallString const &cs, State state, StateSet &visited_in_this_procedure, ConstCallStringStateFunctor *state_functor, ConstCallStringTransitionFunctor *trans_functor)
	Performs a depth-first traversal of the transition graph of 'nwa', starting from 'state'.
void	opennwa::traverse::dfsCallStringTraversal (Nwa const &nwa, ConstCallStringStateFunctor *state_functor, ConstCallStringTransitionFunctor *trans_functor)