spot::printable_size Class Reference

Inheritance diagram for spot::printable_size:

Collaboration diagram for spot::printable_size:

Public Member Functions
void	set (unsigned reachable, unsigned all)
void	print (std::ostream &os, const char *pos) const override

Member Function Documentation

print()

void spot::printable_size::print ( std::ostream & os, const char * pos ) const

overridevirtual

Implements spot::printable.

---

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

• spot/twaalgos/stats.hh