wali::wfa::TransCounter Class Reference

List of all members.

Public Member Functions
	TransCounter ()
virtual	~TransCounter ()
virtual void	operator() (const ITrans *t)
int	getNumTrans ()

---

Constructor & Destructor Documentation

wali::wfa::TransCounter::TransCounter

(

)

virtual wali::wfa::TransCounter::~TransCounter

(

)

[virtual]

---

Member Function Documentation

virtual void wali::wfa::TransCounter::operator()

(

const ITrans *

t

)

[virtual]

Implements wali::wfa::ConstTransFunctor.

int wali::wfa::TransCounter::getNumTrans

(

)

Referenced by opennwa::Nwa::_private_isEmpty_().

---

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

• Source/wali/wfa/TransFunctor.hpp