wali::PriorityWorklist Class Reference

List of all members.

Classes
struct	LessThan
Public Types
typedef std::multiset < wfa::ITrans *, LessThan >	pwl_t
Public Member Functions
	PriorityWorklist ()
virtual	~PriorityWorklist ()
virtual bool	put (wfa::ITrans *t)
virtual wfa::ITrans *	get ()
virtual bool	empty () const
virtual void	clear ()
virtual int	compareTo (const wfa::ITrans *a, const wfa::ITrans *b) const
Protected Attributes
pwl_t	workset

---

Member Typedef Documentation

typedef std::multiset< wfa::ITrans*, LessThan > wali::PriorityWorklist::pwl_t

---

Constructor & Destructor Documentation

wali::PriorityWorklist::PriorityWorklist

(

)

wali::PriorityWorklist::~PriorityWorklist

(

)

[virtual]

References clear().

---

Member Function Documentation

bool wali::PriorityWorklist::put

(

wfa::ITrans *

t

)

[virtual]

Implements wali::Worklist< wfa::ITrans >.

References wali::IMarkable::mark(), wali::IMarkable::marked(), and workset.

wfa::ITrans * wali::PriorityWorklist::get

(

)

[virtual]

Implements wali::Worklist< wfa::ITrans >.

References wali::IMarkable::unmark(), and workset.

bool wali::PriorityWorklist::empty

(

)

const [virtual]

Implements wali::Worklist< wfa::ITrans >.

References workset.

void wali::PriorityWorklist::clear

(

)

[virtual]

Implements wali::Worklist< wfa::ITrans >.

References workset.

Referenced by ~PriorityWorklist().

int wali::PriorityWorklist::compareTo	(	const wfa::ITrans *	a,
		const wfa::ITrans *	b
	)			const [virtual]

Reimplemented in wali::KeyOrderWorklist, and wali::TotalOrderWorklist.

References wali::wfa::ITrans::stack().

---

Member Data Documentation

pwl_t wali::PriorityWorklist::workset [protected]

Referenced by clear(), empty(), get(), and put().

---

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

• Source/wali/PriorityWorklist.hpp
• Source/wali/PriorityWorklist.cpp