spot::printable Class Reference

Abstract base class for objects that can be printed to a stream via a format string. More...

#include <spot/misc/formater.hh>

Inheritance diagram for spot::printable:

Collaboration diagram for spot::printable:

Public Member Functions
virtual void	print (std::ostream &, const char *) const =0
	Print this object using fmt. More...

Detailed Description

Abstract base class for objects that can be printed to a stream via a format string.

Member Function Documentation

print()

virtual void spot::printable::print ( std::ostream &  , const char *    ) const

pure virtual

Print this object using fmt.

Implemented in spot::printable_id, spot::printable_long_size, spot::printable_size, spot::printable_scc_info, spot::printable_acc_cond, spot::printable_formula, spot::printable_percent, spot::printable_value< T >, spot::printable_value< formula >, spot::printable_value< unsigned >, and spot::temporary_file.

---

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

• spot/misc/formater.hh