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