conversions.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::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::NwaToWpdsCalls (Nwa const &nwa, WeightGen const &wg)
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
wali::Key	opennwa::nwa_pds::getProgramControlLocation ()
	returns the default program control location for PDSs
wali::Key	opennwa::nwa_pds::getControlLocation (Key exit, Key callSite, Key returnSite)
	returns the program control location corresponding to the given states
void	opennwa::nwa_pds::WpdsToNwa (Nwa &out, const wali::wpds::WPDS &pds)
	constructs the NWA equivalent to the given PDS
NwaRefPtr	opennwa::nwa_pds::WpdsToNwa (const wali::wpds::WPDS &pds)
	constructs the NWA equivalent to the given PDS