NwaFwd.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.
Typedefs
typedef wali::Key	opennwa::State
	Globally (within a process) unique ID of a state.
typedef wali::Key	opennwa::Symbol
	Globally (within a process) unique ID of a symbol.
typedef ref_ptr< Nwa >	opennwa::NwaRefPtr
	A reference-counted smart pointer to an NWA.
typedef std::set< State >	opennwa::StateSet
	A set of States.
typedef std::set< Symbol >	opennwa::SymbolSet
	A set of Symbols.
typedef ref_ptr< ClientInfo >	opennwa::ClientInfoRefPtr
Variables
const Symbol	opennwa::EPSILON = wali::WALI_EPSILON
const Symbol	opennwa::WILD = wali::WALI_WILD