wali::wfa::TransDotty Class Reference

List of all members.

Public Member Functions
	TransDotty (std::ostream &o, bool print_weights)
virtual	~TransDotty ()
virtual void	operator() (const ITrans *t)
Public Attributes
std::ostream &	o
bool	print_weights

---

Detailed Description

Prints each Trans to std::ostream in dotty format.

---

Constructor & Destructor Documentation

wali::wfa::TransDotty::TransDotty	(	std::ostream &	o,
		bool	print_weights
	)

virtual wali::wfa::TransDotty::~TransDotty

(

)

[virtual]

---

Member Function Documentation

void wali::wfa::TransDotty::operator()

(

const ITrans *

t

)

[virtual]

Implements wali::wfa::ConstTransFunctor.

References wali::wfa::ITrans::from(), o, print_weights, wali::printKey(), wali::wfa::ITrans::stack(), wali::wfa::ITrans::to(), and wali::wfa::ITrans::weight().

---

Member Data Documentation

std::ostream& wali::wfa::TransDotty::o

Referenced by operator()().

bool wali::wfa::TransDotty::print_weights

Referenced by operator()().

---

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

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