wali::wfa::TransZeroWeight Class Reference

List of all members.

Public Member Functions
virtual	~TransZeroWeight ()
virtual void	operator() (ITrans *t)
Public Attributes
TransSet	zeroWeightTrans

---

Detailed Description

Accumulates the set of transitions with zero weight

See also:

TransFunctor

---

Constructor & Destructor Documentation

virtual wali::wfa::TransZeroWeight::~TransZeroWeight

(

)

[virtual]

---

Member Function Documentation

void wali::wfa::TransZeroWeight::operator()

(

ITrans *

t

)

[virtual]

Implements wali::wfa::TransFunctor.

References wali::wfa::TransSet::insert(), wali::wfa::ITrans::weight(), and zeroWeightTrans.

---

Member Data Documentation

TransSet wali::wfa::TransZeroWeight::zeroWeightTrans

Referenced by operator()(), and wali::wfa::WFA::prune().

---

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

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