#include <tgbaalgos/stats.hh>
List of all members.
Constructor & Destructor Documentation
spot::tgba_sub_statistics::tgba_sub_statistics |
( |
| ) |
|
|
inline |
Member Function Documentation
std::ostream& spot::tgba_sub_statistics::dump |
( |
std::ostream & |
out | ) |
const |
Member Data Documentation
unsigned spot::tgba_statistics::states |
|
inherited |
unsigned spot::tgba_sub_statistics::sub_transitions |
unsigned spot::tgba_statistics::transitions |
|
inherited |
The documentation for this struct was generated from the following file: