spot
1.0
|
#include <tgbaalgos/stats.hh>
Public Member Functions | |
tgba_sub_statistics () | |
std::ostream & | dump (std::ostream &out) const |
Public Attributes | |
unsigned | sub_transitions |
unsigned | transitions |
unsigned | states |
|
inline |
References sub_transitions.
std::ostream& spot::tgba_sub_statistics::dump | ( | std::ostream & | out | ) | const |
Reimplemented from spot::tgba_statistics.
|
inherited |
Referenced by spot::tgba_statistics::tgba_statistics().
unsigned spot::tgba_sub_statistics::sub_transitions |
Referenced by tgba_sub_statistics().
|
inherited |
Referenced by spot::tgba_statistics::tgba_statistics().