wali::wpds::LinkedTrans Class Reference

List of all members.

Public Member Functions
	LinkedTrans (wali_key_t from, wali_key_t stack, wali_key_t to, const sem_elem_t &se, Config *config)
virtual	~LinkedTrans ()
Public Attributes
Config *	config
Friends
class	WPDS

---

Constructor & Destructor Documentation

wali::wpds::LinkedTrans::LinkedTrans	(	wali_key_t	from,
		wali_key_t	stack,
		wali_key_t	to,
		const sem_elem_t &	se,
		Config *	config
	)

wali::wpds::LinkedTrans::~LinkedTrans

(

)

[virtual]

---

Friends And Related Function Documentation

friend class WPDS [friend]

---

Member Data Documentation

Config* wali::wpds::LinkedTrans::config

Reimplemented from wali::wfa::Trans.

---

The documentation for this class was generated from the following files:

• Source/wali/wpds/LinkedTrans.hpp
• Source/wali/wpds/LinkedTrans.cpp