spot
0.9.1
|
#include <tgbaalgos/stats.hh>
Public Member Functions | |
tgba_statistics () | |
std::ostream & | dump (std::ostream &out) const |
Public Attributes | |
unsigned | transitions |
unsigned | states |
spot::tgba_statistics::tgba_statistics | ( | ) | [inline] |
References states, and transitions.
std::ostream& spot::tgba_statistics::dump | ( | std::ostream & | out | ) | const |
Reimplemented in spot::tgba_sub_statistics.
unsigned spot::tgba_statistics::states |
Referenced by tgba_statistics().
unsigned spot::tgba_statistics::transitions |
Referenced by tgba_statistics().