ProcedureNwas.hpp File Reference

Go to the source code of this file.

Classes
struct	opennwa::CallReturnTransitionInserter
struct	opennwa::EpsilonTransitionInserter
Namespaces
namespace	opennwa
	This file defines forward declarations for various useful NWA-related types.
Functions
NwaRefPtr	opennwa::assemble_nwa (ProcedureMap const &procedures, boost::function< void(Nwa &, State, State)> call_inserter, boost::function< void(Nwa &, State, State, State)> return_inserter)
	Assembles all NWAs in 'procedures' into one large NWA.