spot::twa_statistics Struct Reference

Inheritance diagram for spot::twa_statistics:

Collaboration diagram for spot::twa_statistics:

Public Member Functions
std::ostream &	dump (std::ostream &out) const

Public Attributes
unsigned	edges
unsigned	states

---

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

• spot/twaalgos/stats.hh