NwaToPds.cpp File Reference

Namespaces
namespace	opennwa
	This file defines forward declarations for various useful NWA-related types.
namespace	opennwa::nwa_pds
Functions
wali::wpds::WPDS	opennwa::nwa_pds::NwaToWpdsReturns (Nwa const &nwa, WeightGen const &wg)
	constructs the PDS equivalent to this NWA
wali::wpds::WPDS	opennwa::nwa_pds::NwaToWpdsCalls (Nwa const &nwa, WeightGen const &wg, ref_ptr< wali::wpds::Wrapper > wrapper)
	constructs the backwards PDS equivalent to this NWA
wali::wpds::WPDS	opennwa::nwa_pds::NwaToBackwardsWpdsReturns (Nwa const &nwa, WeightGen const &wg)
	constructs the PDS equivalent to this NWA
wali::wpds::WPDS	opennwa::nwa_pds::NwaToBackwardsWpdsCalls (Nwa const &nwa, WeightGen const &wg)
	constructs the backwards PDS equivalent to this NWA