plusWpds.cpp File Reference

Namespaces
namespace	opennwa
	This file defines forward declarations for various useful NWA-related types.
namespace	opennwa::nwa_pds
Functions
WPDS	opennwa::nwa_pds::plusWpds (Nwa const &nwa, const wali::wpds::WPDS &base)
	constructs the WPDS which is the result of the explicit NWA plus WPDS construction from Advanced Querying for Property Checking