wali::RankedWorklist Class Reference

List of all members.

Public Types
typedef std::multimap< int, wfa::ITrans * >	pwl_t
Public Member Functions
	RankedWorklist ()
virtual	~RankedWorklist ()
virtual bool	put (wfa::ITrans *t)
virtual wfa::ITrans *	get ()
virtual bool	empty () const
virtual void	clear ()
virtual int	doRankOf (sem_elem_t a) const =0

---

Member Typedef Documentation

typedef std::multimap< int, wfa::ITrans* > wali::RankedWorklist::pwl_t

---

Constructor & Destructor Documentation

wali::RankedWorklist::RankedWorklist

(

)

wali::RankedWorklist::~RankedWorklist

(

)

[virtual]

References clear().

---

Member Function Documentation

bool wali::RankedWorklist::put

(

wfa::ITrans *

t

)

[virtual]

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

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

wfa::ITrans * wali::RankedWorklist::get

(

)

[virtual]

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

bool wali::RankedWorklist::empty

(

)

const [virtual]

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

void wali::RankedWorklist::clear

(

)

[virtual]

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

Referenced by ~RankedWorklist().

virtual int wali::RankedWorklist::doRankOf

(

sem_elem_t

a

)

const [pure virtual]

Implemented in wali::ShortestPathWorklist.

---

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

• Source/wali/RankedWorklist.hpp
• Source/wali/RankedWorklist.cpp