wali::wfa::TransPrinter Class Reference

List of all members.

Public Member Functions
	TransPrinter (std::ostream &o_)
virtual	~TransPrinter ()
virtual void	operator() (const ITrans *t)

---

Detailed Description

Writes Transes to its std::ostream member var. Used by wali::wfa::WFA::print. Calls Trans::print( std::ostream& ).

See also:

ConstTransFunctor

Trans

WFA

---

Constructor & Destructor Documentation

wali::wfa::TransPrinter::TransPrinter

(

std::ostream &

o_

)

virtual wali::wfa::TransPrinter::~TransPrinter

(

)

[virtual]

---

Member Function Documentation

void wali::wfa::TransPrinter::operator()

(

const ITrans *

t

)

[virtual]

Implements wali::wfa::ConstTransFunctor.

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

---

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

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