spot::printable_size Class Reference

A printable wrapper reporting reachable and total state/edge counts. More...

#include <spot/twaalgos/stats.hh>

Inheritance diagram for spot::printable_size:

Collaboration diagram for spot::printable_size:

Public Member Functions
void	set (unsigned reachable, unsigned all)
	Set the reachable and total counts. More...
void	print (std::ostream &os, const char *pos) const override
	Print the size to an output stream. More...

Detailed Description

A printable wrapper reporting reachable and total state/edge counts.

Member Function Documentation

print()

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

overridevirtual

Print the size to an output stream.

Implements spot::printable.

set()

void spot::printable_size::set ( unsigned  reachable, unsigned  all  )

inline

Set the reachable and total counts.

---

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

• spot/twaalgos/stats.hh