spot::printable_long_size Class Reference

A printable wrapper reporting reachable and total transition counts as long long. More...

#include <spot/twaalgos/stats.hh>

Inheritance diagram for spot::printable_long_size:

Collaboration diagram for spot::printable_long_size:

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

Detailed Description

A printable wrapper reporting reachable and total transition counts as long long.

Member Function Documentation

print()

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

overridevirtual

Print the long size to an output stream.

Implements spot::printable.

set()

void spot::printable_long_size::set ( unsigned long long  reachable, unsigned long long  all  )

inline

Set the reachable and total counts.

---

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

• spot/twaalgos/stats.hh