spot
0.8.2
|
#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 |
spot::tgba_sub_statistics::tgba_sub_statistics | ( | ) | [inline] |
References sub_transitions.
std::ostream& spot::tgba_sub_statistics::dump | ( | std::ostream & | out | ) | const |
Reimplemented from spot::tgba_statistics.
unsigned spot::tgba_statistics::states [inherited] |
Referenced by spot::tgba_statistics::tgba_statistics().
Referenced by tgba_sub_statistics().
unsigned spot::tgba_statistics::transitions [inherited] |
Referenced by spot::tgba_statistics::tgba_statistics().