wali::Printable Class Reference

Interface defining the print method. More...

List of all members.

Public Member Functions
virtual	~Printable ()
virtual std::ostream &	print (std::ostream &) const =0
std::string	to_string () const
std::string	toString () const

---

Detailed Description

Interface defining the print method.

A Printable object must define a print method.

The Printable class provides toString() methods for any Printable object by passing a std::ostringstream to the object's print method.

---

Constructor & Destructor Documentation

virtual wali::Printable::~Printable

(

)

[virtual]

---

Member Function Documentation

virtual std::ostream& wali::Printable::print

(

std::ostream &

)

const [pure virtual]

Implemented in opennwa::details::StateStorage, opennwa::details::SymbolStorage, opennwa::details::TransitionStorage, wali::Exception, wali::TaggedWeight, wali::util::Timer, wali::wfa::TransSet, wali::wfa::WFA, wali::witness::RuleStub, and wali::wpds::Config.

Referenced by to_string(), and toString().

std::string wali::Printable::to_string

(

)

const

References print().

std::string wali::Printable::toString

(

)

const

References print().

Referenced by wali::SemElem::marshall(), wali::witness::VisitorDot::visitRule(), and wali::witness::VisitorDot::visitTrans().

---

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

• Source/wali/Printable.hpp
• Source/wali/Printable.cpp