wali::wfa::StackHasher Class Reference

List of all members.

Public Types
typedef wali::HashMap< Key, TransSet >	stackmap_t
typedef stackmap_t::iterator	iterator
Public Member Functions
virtual	~StackHasher ()
virtual void	operator() (ITrans *t)
iterator	begin ()
iterator	end ()
iterator	find (Key k)
Public Attributes
stackmap_t	stackmap

---

Detailed Description

Hashes the transitions on their stack symbol. Used by WFA::intersect

---

Member Typedef Documentation

typedef wali::HashMap< Key , TransSet > wali::wfa::StackHasher::stackmap_t

typedef stackmap_t::iterator wali::wfa::StackHasher::iterator

---

Constructor & Destructor Documentation

virtual wali::wfa::StackHasher::~StackHasher

(

)

[virtual]

---

Member Function Documentation

void wali::wfa::StackHasher::operator()

(

ITrans *

t

)

[virtual]

Implements wali::wfa::TransFunctor.

References wali::HashMap< Key, Data, HashFunc, EqualFunc >::end(), wali::HashMap< Key, Data, HashFunc, EqualFunc >::find(), wali::HashMap< Key, Data, HashFunc, EqualFunc >::insert(), wali::wfa::ITrans::stack(), and stackmap.

StackHasher::iterator wali::wfa::StackHasher::begin

(

)

References wali::HashMap< Key, Data, HashFunc, EqualFunc >::begin(), and stackmap.

Referenced by wali::wfa::WFA::intersect().

StackHasher::iterator wali::wfa::StackHasher::end

(

)

References wali::HashMap< Key, Data, HashFunc, EqualFunc >::end(), and stackmap.

Referenced by wali::wfa::WFA::intersect().

StackHasher::iterator wali::wfa::StackHasher::find

(

Key

k

)

References wali::HashMap< Key, Data, HashFunc, EqualFunc >::find(), and stackmap.

---

Member Data Documentation

stackmap_t wali::wfa::StackHasher::stackmap

Referenced by begin(), end(), find(), wali::wfa::WFA::intersect(), and operator()().

---

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

• Source/wali/wfa/TransFunctor.hpp
• Source/wali/wfa/TransFunctor.cpp